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