Reference. Introduction to multicategories in logic in computer science [earnshaw-2025-introduction-to-multicategories]