2-Category: PrCat

PrCat is the 2-category whose objects are locally presentable categories, arrows are left adjoint functors, and transformations are natural transformations. Specifically, PrCat is a bicategory.

2-categories: PrCat

This data as json