CatDat
Structure
categories
functors
morphisms
Home
Categories
Properties
Implications
Compare
Search
Implication Details
Assumptions:
countable powers
Conclusions:
finite powers
Proof:
This is trivial.
Show 11 categories using this implication
category of fields
category of finite sets and injections
category of sets with finite-to-one maps
delooping of the additive monoid of ordinal numbers
discrete category on two objects
empty category
poset of natural numbers
poset of ordinal numbers
walking fork
walking idempotent
walking span
Go back
Make a suggestion
Structure
categories
functors
morphisms
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations
Download