CatDat
Structure
categories
functors
morphisms
symmetric monoidal categories
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
partially ordered collection of ordinal numbers
partially ordered set of natural numbers
walking fork
walking span
Adjust search
Dualize search
Structure
categories
functors
morphisms
symmetric monoidal categories
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations
Download