2-Category: BiCat

BiCat is the 2-category whose objects are bicategories, arrows are pseudofunctors, and transformations are natural transformations. Specifically, BiCat is a bicategory.

2-categories: BiCat

This data as json

name is_strict transformations_hr
BiCat 0 natural transformations