Implication Details
Assumptions: disjoint products, generating set
Conclusions: generator
This implication has been dualized from this implication.
Show 10 categories using this implication
- category of combinatorial species
- category of fields
- category of finite abelian groups
- category of finite groups
- category of finite sets and bijections
- category of finite sets and surjections
- category of pairs of sets
- category of set functions and commutative squares
- category of sheaves
- empty category