Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nforum nlab noncommutative noncommutative-geometry number-theory object of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorjcmckeown
   • CommentTimeAug 11th 2010
   • PermaLink
   Author: jcmckeown
   Format: Texta description of a free monad on Sets in Cat, the successor monad, and remarks.

   a description of a free monad on Sets in Cat, the successor monad, and remarks.
2. • CommentRowNumber2.
   • CommentAuthorjcmckeown
   • CommentTimeAug 11th 2010
   • PermaLink
   Author: jcmckeown
   Format: Markdown(that is, I'm not sure it's anywhere else _called_ "the successor monad"; it's the monad for pointed sets in Set, I suppose... )

   (that is, I'm not sure it's anywhere else called "the successor monad"; it's the monad for pointed sets in Set, I suppose... )

3. • CommentRowNumber3.
   • CommentAuthorTobyBartels
   • CommentTimeAug 12th 2010
   • (edited Aug 12th 2010)
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexHandy link: [[monad]] I disagree that this is a monad on the (large) poset of all (material) sets under inclusion. The multiplication transformation $\mu$ is not $\subseteq$; that is, $S S X$ is not a subset of $X$. So we can only say that $S$ is * a monad on the category $Set$, with * a monic unit transformation $\iota$, such that * we can easily define it on material sets so that $\iota$ is inclusion of subsets. I'll rewrite this in a bit. PS: I like the name ‘successor monad’. I have found one previous usage ([PostScript gzip](http://www.maths.usyd.edu.au/u/stevel/papers/psm.ps.gz)), and it agrees with yours.

   Handy link: monad

   I disagree that this is a monad on the (large) poset of all (material) sets under inclusion. The multiplication transformation $\mu$ is not $\subseteq$; that is, $S S X$ is not a subset of $X$.

   So we can only say that $S$ is

   • a monad on the category $Set$, with
   • a monic unit transformation $\iota$, such that
   • we can easily define it on material sets so that $\iota$ is inclusion of subsets.

   I’ll rewrite this in a bit.

   PS: I like the name ‘successor monad’. I have found one previous usage (PostScript gzip), and it agrees with yours.

4. • CommentRowNumber4.
   • CommentAuthorFinnLawler
   • CommentTimeAug 12th 2010
   • PermaLink
   Author: FinnLawler
   Format: MarkdownItexPerhaps it should be on a page of its own? Also, your query is more or less answered at [[simplex category]], or in _Categories Work_ -- $\Delta_a$ is generated by the [[monoid object]] $[0] \to [1] \leftarrow [2]$.

   Perhaps it should be on a page of its own?

   Also, your query is more or less answered at simplex category, or in Categories Work – $\Delta_a$ is generated by the monoid object $[0] \to [1] \leftarrow [2]$.

5. • CommentRowNumber5.
   • CommentAuthorTobyBartels
   • CommentTimeAug 12th 2010
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItex>Perhaps it should be on a page of its own? Well, the [[list monad]] has a page of its own, so the [[successor monad]] could too. In the meantime, I've redirected it. >your query is more or less answered […] I've put that in.

   Perhaps it should be on a page of its own?

   Well, the list monad has a page of its own, so the successor monad could too. In the meantime, I’ve redirected it.

   your query is more or less answered […]

   I’ve put that in.

6. • CommentRowNumber6.
   • CommentAuthorMike Shulman
   • CommentTimeAug 12th 2010
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexIn the context of monadic functional programming, the successor monad is also called the [maybe monad](http://www.haskell.org/all_about_monads/html/maybemonad.html) or the "error monad". Here you're thinking about the Kleisli category, which as pointed out in the example is equivalent to sets+partial functions -- hence the idea that a Kleisli morphism is something that "maybe" gives you an output, or gives you an output unless it fails with an error.

   In the context of monadic functional programming, the successor monad is also called the maybe monad or the “error monad”. Here you’re thinking about the Kleisli category, which as pointed out in the example is equivalent to sets+partial functions – hence the idea that a Kleisli morphism is something that “maybe” gives you an output, or gives you an output unless it fails with an error.

7. • CommentRowNumber7.
   • CommentAuthorjcmckeown
   • CommentTimeAug 12th 2010
   • PermaLink
   Author: jcmckeown
   Format: MarkdownItexWell, thanks, all! I see there are now entries for Kleisli and Eilenberg-Moore. :-) Toby, > I disagree ... The multiplication transformation $\mu$ is not $\subseteq$ ... OK, I must have missed that seminar, or maybe should I read "Moore Closure"? Finn, > Also, your query is more or less answered ... While some will agree with the "more" bit, I'm feeling "less" enlightened than I perhaps should... let me muse on that a bit... monad == monoid made of a $1$-cell in $End(*)$ of a $0$-cell in a $2$-cat ... maybe I'll get it soon.

   Well, thanks, all! I see there are now entries for Kleisli and Eilenberg-Moore. :-)

   Toby,

   I disagree … The multiplication transformation $\mu$ is not $\subseteq$ …

   OK, I must have missed that seminar, or maybe should I read “Moore Closure”?

   Finn,

   Also, your query is more or less answered …

   While some will agree with the “more” bit, I’m feeling “less” enlightened than I perhaps should… let me muse on that a bit… monad == monoid made of a $1$-cell in $End(*)$ of a $0$-cell in a $2$-cat … maybe I’ll get it soon.

8. • CommentRowNumber8.
   • CommentAuthorFinnLawler
   • CommentTimeAug 12th 2010
   • PermaLink
   Author: FinnLawler
   Format: MarkdownItexIf $X$ is an object of a monoidal category $C$, then $(- \otimes X)$ is a monad if and only if $X$ is a monoid object. The restriction of $S$ to $\Delta_a$ is $(- \oplus [1])$. So I think (but do correct me if I'm wrong) that the content of your observation is essentially that $\Delta_a$ is generated by [1], as explained under _Universal properties_ at [[simplex category]], or CWM VII.5.

   If $X$ is an object of a monoidal category $C$, then $(- \otimes X)$ is a monad if and only if $X$ is a monoid object. The restriction of $S$ to $\Delta_a$ is $(- \oplus [1])$. So I think (but do correct me if I’m wrong) that the content of your observation is essentially that $\Delta_a$ is generated by [1], as explained under Universal properties at simplex category, or CWM VII.5.

9. • CommentRowNumber9.
   • CommentAuthorTobyBartels
   • CommentTimeAug 15th 2010
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItex>>The multiplication transformation $\mu$ is not $\subseteq$ >OK, I must have missed that seminar, or maybe should I read "Moore Closure"? Well, you certainly could read [[Moore closure]]; I like to think that it's a very nice article, since I wrote most of it! But that shouldn't be necessary. You wrote that the monad was a monad on the poset of (presumably material) sets under inclusion, and in that case every relevant morphism has to be a morphism in this category, and $\mu_X\colon S S X \to X$ is not. So that's why I changed it to a monad on the category of sets and functions instead. By the way, your links will work better if you make them like `[[Moore closure]]` and `[[Kleisli category]]` instead of like `[[Moore Closure]]` and `[[Kleisli Category]]`.

   The multiplication transformation $\mu$ is not $\subseteq$

   OK, I must have missed that seminar, or maybe should I read “Moore Closure”?

   Well, you certainly could read Moore closure; I like to think that it’s a very nice article, since I wrote most of it!

   But that shouldn’t be necessary. You wrote that the monad was a monad on the poset of (presumably material) sets under inclusion, and in that case every relevant morphism has to be a morphism in this category, and $\mu_X\colon S S X \to X$ is not. So that’s why I changed it to a monad on the category of sets and functions instead.

   By the way, your links will work better if you make them like [[Moore closure]] and [[Kleisli category]] instead of like [[Moore Closure]] and [[Kleisli Category]].