Implication Details
Assumptions: finitary algebraic
Conclusions: generator
Reason: Pick an algebraic theory that represents the category. The free algebra on one generator is a generator since morphisms correspond to the elements of (the underlying set of) the algebra .
Show 29 categories using this implication
- empty category
- trivial 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 groups
- category of Jónsson-Tarski algebras
- category of M-sets
- category of monoids
- category of left modules over a ring
- category of left modules over a division ring
- category of rings
- category of rngs
- category of schemes
- category of semigroups
- category of sets
- category of pointed sets
- category of pairs of sets
- category of combinatorial species
- category of vector spaces
- walking isomorphism
- walking morphism