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.
Made a start on taut functor. Mike, I mentioned your work with Cruttwell on generalized multicategories in a section on applications.
Looks good! It would be nice to refer more specifically to the Clementino-Hofmann-Tholen-Seal papers, where the use of taut monads for this purpose was introduced (Geoff and I just reformulated it in our general language), but I donâ€™t have time to find the correct reference now.
1 to 2 of 2