Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
strictifying tricategories
strictifying tricategories
Jul 24, 2025
1 min read
Tags:
monoidal bicategory
,
Gray category
,
Gray monoid
,
tricategory
.
Graph View