Category: RCat

RCat is the category whose objects are restriction categories and arrows are functors.

Facts Derived from Enrichment

(RCat doesn't seem to have any notable subcategories.)

Limits

Colimits

categories: RCat

This data as json

name objects_hr arrows_hr
RCat restriction categories functors

Links from other tables