Abstract

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

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call