Category: Cat

Cat is the category whose objects are categories and arrows are functors.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: Cat

This data as json

name objects_hr arrows_hr
Cat categories functors

Links from other tables