arXiv2306.14762MaRDI QIDQ6441531
Cristiana Bertolin, Federica Galluzzi
Publication date: 26 June 2023
Mathematics Subject Classification ID
Theories (e.g., algebraic theories), structure, and semantics (18C10) 2-categories, bicategories, double categories (18N10)