Implication Details
Assumptions: cofiltered limits, finite products
Conclusions: products
Proof: The product is the cofiltered limit of the finite partial products where ranges over the finite subsets of .
Show 9 categories using this implication
- category of combinatorial species
- category of finite abelian groups
- category of finite groups
- category of finite-dimensional vector spaces [uncountable field]
- category of finitely generated abelian groups
- category of semigroups
- delooping of an infinite uncountable group
- empty category
- poset of natural numbers