GitHub repository: maxsnew/multi-poly-cats
Primary language: Agda
Created: 2023-02-11T21:00:16Z
Description: Some Multicategory stuff, but mostly extensions to the cubical stdlib category theory