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.
Mentioned the 2-categorical duality between the monad ⊣ comonad result and the comonad ⊣ monad one.
Also removed the bit about Alexander Rosenberg calling this “duality” because there is no reference and that is a terrible name. If someone has a reference, please add it to the references section.
Just for the record: This remark originates all the way in revision 1 by Zoran, where it read:
[…] (what Alexander Rosenberg calls duality). I am not sure that the terminology is optimal. In any case […]
The clause “I am not sure…” was deleted in revision 10 by, it seems, me. But good to delete the whole remark.
1 to 3 of 3