Multifunctor

Last updated Feb 3, 2024

A multifunctor is a notion of functor for multicategories.