CatDat
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Search results
Satisfied properties:
locally cartesian closed
Unsatisfied properties:
terminal object
,
groupoid
Found 8 categories
category of finite sets and injections
category of sets with finite-to-one maps
delooping of the additive monoid of natural numbers
delooping of the additive monoid of ordinal numbers
poset of natural numbers
poset of ordinal numbers
walking fork
walking span
Adjust search
Dualize search
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations
Download