2-Category: TopCat

TopCat is the 2-category whose objects are topologically enriched categories, arrows are continuous functors, and transformations are natural transformations. Specifically, TopCat is a bicategory.

2-categories: TopCat

This data as json

name is_strict transformations_hr
TopCat 0 natural transformations