Full Subcategory: RCat ⊊ Cat

RCat is a full subcategory of Cat. When any two categories of Cat are restriction categories in RCat, all functors between them are functors in RCat too. Put another way, RCat has only some of the objects of Cat, but all of the arrows.

In terms of stuff, structure, and properties, restriction categories are like categories but with extra properties.

full_subcategories: RCat, Cat

This data as json