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