Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorbarakat
   • CommentTimeAug 20th 2014
   • PermaLink
   Author: barakat
   Format: TextCorrected the associated monad in [[reflective subcategory]]: --- The monad (Q^* Q_*,Q^*\varepsilon Q_*,\eta) associated with the adjunction -> The monad (Q_* Q_^*,\varepsilon,Q_* \eta Q_^*) associated with the adjunction ---

   Corrected the associated monad in reflective subcategory:
   
   ---
   The monad (Q^* Q_*,Q^*\varepsilon Q_*,\eta) associated with the adjunction
   ->
   The monad (Q_* Q_^*,\varepsilon,Q_* \eta Q_^*) associated with the adjunction
   ---
2. • CommentRowNumber2.
   • CommentAuthorzskoda
   • CommentTimeAug 21st 2014
   • (edited Aug 21st 2014)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexThis 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>...

   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…

3. • CommentRowNumber3.
   • CommentAuthorbarakat
   • CommentTimeAug 21st 2014
   • (edited Aug 21st 2014)
   • PermaLink
   Author: barakat
   Format: TextOh, yes, sure, I oversaw that \varepsilon, as in the line above, is the counit. Thanks :) (Is there a convention of what to write first in the triple: the multiplication then then unit or vice versa?)

   Oh, yes, sure, I oversaw that \varepsilon, as in the line above, is the counit. Thanks :)
   
   (Is there a convention of what to write first in the triple: the multiplication then then unit or vice versa?)
4. • CommentRowNumber4.
   • CommentAuthorzskoda
   • CommentTimeAug 21st 2014
   • PermaLink
   Author: zskoda
   Format: MarkdownItexThe 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.

   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.