Proarrows and cofibrations

https://doi.org/10.1016/0022-4049(88)90128-4Get rights and content
Under an Elsevier user license
open archive

Abstract

We showed earlier that for the proarrow equipment ( ): TOP→TOPLEXco, the codomain is equivalent to codiscrete cofibrations in the domain (i.e. TOPLEXco∼CODCOFIB TOP). Here we show that M∼CODCOFIB K for any proarrow equipment ( ):KM satisfying a finitary exactness axiom. We give applications to topoi relative to a base and Grothendieck topoi.

Cited by (0)

This research was partially supported by grants from NSERC Canada.