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.
This is still incorrect. The monad has the multiplication $Q_*\varepsilon Q^*$ and unit $\eta$. Corrected.
By the way there are already several threads with title reflective subcategory (and under latest changes) and it better classifies if new discussion with the same title and topic continues the old one, e.g. http://nforum.mathforge.org/discussion/1506/reflective-subcategory, http://nforum.mathforge.org/discussion/4429/reflective-subcategory, http://nforum.mathforge.org/discussion/446/reflective-subcategory…
The unit is superfluous anyway, so some people write without the unit. Then, the least important at the end, to most users, but it is not completely universal convention here.
1 to 4 of 4