Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
thought the author did leave a comment. Anyway, started just a bare minimum, for completeness
I think this concept is poorly named. This should simply be called a “functor of multicategories” or something along those lines. A “multifunctor” ought to be an -ary generalisation of a functor, including bifunctors, for instance, and making into a multicategory. In fact, this term is used that way at least in some places.
Looking at the entry, I see that I once created it. But I am not invested in this. If you feel like renaming/rewriting, please go ahead!
(But, unfortunately, the functionality of renaming entries has a bug at the moment. Should we try to rename the entry, then probably the old copy will stay around, and I am not sure which of the two will be editable afterwards. I am hoping the technical team will be looking into this, but maybe not.)
Christian@technical-team kindly informs me that he thinks he has fixed the bug in the page renaming mechanism, so I’ll try my luck again:
Am renaming the entry from “multifunctor” to “morphism of multicategories”, and will create another entry multifunctor with a brief disambiguation.
1 to 5 of 5