2-Category: RCat

RCat is the 2-category whose objects are restriction categories, arrows are functors, and transformations are natural transformations. Specifically, RCat is a bicategory.

2-categories: RCat

This data as json