Search
❯
Jul 28, 20251 min read
This is the opposite of a Cartesian multicategory.
Tags: multicategory, cocartesian category.