Multifunctor

Last updated Aug 28, 2024

A multifunctor is a notion of functor for multicategories.