2-Category: PermCat

PermCat is the 2-category whose objects are permutative (symmetric strict monoidal) categories, arrows are multilinear functors, and transformations are natural transformations. Specifically, PermCat is a bicategory.

2-categories: PermCat

This data as json

name is_strict transformations_hr
PermCat 0 natural transformations