Implication Details
Assumptions: Grothendieck topos
Conclusions: cogenerator, exact filtered colimits, infinitary extensive, locally presentable
Reason: A Grothendieck topos is locally presentable by Prop. 3.4.16 in Handbook of Categorical Algebra Vol. 3, has a cogenerator (see nLab) and is infinitary extensive by Giraud's Theorem. To show that it has exact filtered colimits, first observe that this is clearly true in every presheaf topos (since has the property). Every Grothendieck topos is a full reflective subcategory of a presheaf topos such that the reflector preserves finite limits (nLab), so we conclude with this lemma.
Show 26 categories using this implication
- empty category
- trivial category
- category of finitely generated abelian groups
- category of finite sets and bijections
- category of Banach spaces with linear contractions
- category of commutative monoids
- category of compact Hausdorff spaces
- category of finite sets and injections
- category of finite groups
- category of groups
- category of countable groups
- category of Hausdorff spaces
- category of Jónsson-Tarski algebras
- category of M-sets
- category of measurable spaces
- category of monoids
- category of rngs
- category of sets
- dual of the category of sets
- category of pairs of sets
- category of sheaves
- category of topological spaces
- category of pointed topological spaces
- category of simplicial sets
- walking idempotent
- walking isomorphism