Implication Details
Claim: If a category is one-way and has a terminal object, then it has a natural numbers object.
Proof: This follows from Lemma 3 here.
Show 13 categories using this implication
- simplex category
- category of finite ordered sets
- category of finite sets
- category of finite sets of odd cardinality
- category of finite sets of cardinality a power of 3
- category of metric spaces with non-expansive maps
- category of pseudo-metric spaces with non-expansive maps
- category of connected sequences of sets
- category of large families of sets which are mostly singletons
- category of empty-or-finite pairs of sets
- category of combinatorial species
- category of finite Z-sets
- walking coreflexive pair