2-Category: SimpCat

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

2-categories: SimpCat

This data as json

name is_strict transformations_hr
SimpCat 0 natural transformations