algebra over a multicategory

Last updated Feb 3, 2024

An algebra over a multicategory is a multifunctor from that multicategory to the representable multicategory of Sets and functions with the cartesian product.

algebra-of-a-multicategory