2-Category: Ho(Cat)

Ho(Cat) is the 2-category whose objects are categories, arrows are natural isomorphism classes of functors, and transformations are natural transformations. Specifically, Ho(Cat) is a bicategory.

2-categories: Ho(Cat)

This data as json