Implication Details
Claim: If a category is one-sorted finitary algebraic, then it has an extremal generator.
Proof: Pick an algebraic theory that represents the category. The free algebra on one generator is an extremal generator since it represents the underlying set functor, which is faithful and conservative.
Show 37 categories using this implication
- empty category
- category of abelian groups
- category of algebras
- category of finite sets and bijections
- category of commutative algebras
- category of commutative monoids
- category of commutative rings
- category of finite sets and surjections
- category of finite abelian groups
- category of finite groups
- category of fields
- category of Jónsson-Tarski algebras
- category of M-sets
- category of monoids
- category of sets with a distinguished subset
- partially ordered set of natural numbers
- partially ordered set of extended natural numbers
- category of left modules over a ring
- category of left modules over a division ring
- category of left modules over a non-semisimple ring
- category of rings
- category of rngs
- category of schemes
- category of semigroups
- category of pointed sets
- category of set functions and commutative squares
- category of pairs of sets
- category of sheaves
- category of combinatorial species
- category of uniform spaces
- preordered set of integers w.r.t. divisibility
- forked commutative square
- real interval [0,1]
- walking commutative square
- walking composable pair
- walking morphism
- walking span