2-Category: Rex

Rex is the 2-category whose objects are finitely cocomplete categories, arrows are right exact functors, and transformations are natural transformations. Specifically, Rex is a bicategory.

2-categories: Rex

This data as json