Category: 1

1 is the category whose objects are (is) the point and arrows are (is) the identity arrow.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: 1

This data as json

name objects_hr arrows_hr
1 (is) the point (is) the identity arrow

Links from other tables