2-Category: MonCat

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

2-categories: MonCat

This data as json

name is_strict transformations_hr
MonCat 0 natural transformations