Implication Details
Assumptions: initial object, strongly connected, terminal object
Conclusions: pointed
Proof: By assumption there is a morphism . There is also a unique morphism . They are necessarily inverse to each other.
Show 11 categories using this implication
- category of countable sets
- category of filtered vector spaces
- category of finite ordered sets
- category of M-sets
- category of set functions and commutative squares
- category of sets
- category of sets with a distinguished subset
- category of sheaves
- category of simplicial sets
- category of smooth manifolds
- category of torsion-free abelian groups