2-Category: Cat

Cat is the 2-category whose objects are categories, arrows are functors, and transformations are natural transformations. Specifically, Cat is a strict 2-category.

2-categories: Cat

This data as json