duoidal category of graded spaces

Last updated Feb 3, 2024

References.

• Duoidal Categories, Measuring Comonoids, and Enrichment (López Franco, Vasilakopoulou)