Mario Román

Search

Search IconIcon to open search

strictifying tricategories

Last updated Feb 3, 2024

strictifying-tricategories

Tags: monoidal bicategory, Gray category, Gray monoid, tricategory.