2-Category: 2Cat

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

2-categories: 2Cat

This data as json

name is_strict transformations_hr
2Cat 0 natural transformations