Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2014

    I have added in the Idea-section at pointed object a brief sentence that pointed objects are the algebras of the “maybe monad”.

    We had talked about this a while back in order to show that pointed objects in a presentable category are again presentable. So there seems to be something a bit deeper going on here than the simplistic concepts involved may superficially suggest. Maybe we should eventually have a dedicated section on this.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2014

    okay, I have added a brief remark at pointed object – Monadicity

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2014

    Is there a way to see the smash product of pointed objects on purely general abstract grounds from the fact that they are algebras over the X()X \coprod(-)-monad? Is there some general statement about monoidal structure canonically induced on EM-categories that would give this?

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 12th 2014

    I think the general idea is that the monad 1+1 + - on a distributive category is a monoidal monad (or commutative monad). I haven’t gone through it carefully, but the constraint

    (1+X)×(1+Y)1+(X×Y),(1 + X) \times (1 + Y) \to 1 + (X \times Y),

    when you expand the left side to 1+X+Y+X×Y1 + X + Y + X \times Y, takes the summands XX and YY to 11. Seems to make sense. Then the EM category of a monoidal monad carries a canonically defined monoidal structure.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2014

    Thanks, Todd! That sounds like it’s going to be excellent. So you are saying it looks plausible that there is a canonical tensor product on the EM-category of *()\ast \coprod (-) and that it is the smash product of pointed objects? That would be neat.

    I just went to have a look at monoidal monad_and _commutative monad. I spent some time adding a bunch of cross references (numbering for definitions, pointers to them, etc.) because I found the material a bit hard to navigate.

    One statement at commutative monad seems important, namely

    In fact, it may be shown that commutative Lawvere theories on Set are precisely the same things as (finitary) symmetric monoidal monad structures on (Set,×), as shown by Anders Kock. For more on this, see monoidal monad.

    I don’t think the entry monoidal monad actually gives much more on this. But I’ll look at Kock’s article. I suppose it will work not just in SetSet but in any topos?

    • CommentRowNumber6.
    • CommentAuthorZhen Lin
    • CommentTimeFeb 12th 2014

    That seems doubtful. What’s an algebraic theory over a general topos?

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2014

    Why “over”?, we need algebras of the theory in some topos.

    I suppose I have now identified the source of the theorem alluded to in the entry, I guess it’s this article here (citation details now added at commutative algebraic theory):

    • {#Keigher78} William Keigher, Symmetric monoidal closed categories generated by commutative adjoint monads, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 19 no. 3 (1978), p. 269-293 (NUMDAM, pdf)
    • CommentRowNumber8.
    • CommentAuthorZhen Lin
    • CommentTimeFeb 12th 2014

    There are finitary monads over Grothendieck toposes that are not induced by any Lawvere theory. For instance, Cat\mathbf{Cat} is finitary monadic over sSet\mathbf{sSet}. The correct generalisation necessarily involves some kind of internal Lawvere theory.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2014

    It seems the statement has nothing much to do with Lawvere theories. Here is MO discussion of the result that we are after.

    • CommentRowNumber10.
    • CommentAuthorZhen Lin
    • CommentTimeFeb 12th 2014

    That’s a different result. It holds in any reasonable symmetric monoidal closed category; I can prove it when the base has equalisers, the category of algebras has reflexive coequalisers, and the forgetful functor from algebras to the base sends regular epimorphisms to epimorphisms.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2014
    • (edited May 17th 2014)

    Maybe we were talking ast each other, dunno. I just want to confirm, see above, that the canonical tensor product on pointed objects in any topos, regarded as algebras for the maybe operad, is the smash product. It seems clear enough now. If you give me your favorite citation, I’ll cite that.

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 12th 2014

    The statement highlighted in #5 is correct; it seems the only thing Zhen Lin is objecting to is the final sentence of #5, where the suggestion ought to remember to replace “Lawvere theory over SetSet” by (say) “finitary monad over a (topos) EE” or the like. But I don’t think this is a big deal.

    • CommentRowNumber13.
    • CommentAuthorZhen Lin
    • CommentTimeFeb 12th 2014

    I don’t have a citation, unfortunately. I believe the result is due to Kock, but the three papers [1970, 1971, 1972] don’t actually contain an outright statement regarding the monoidal structure, instead concerning themselves with the existence of a closed structure in the sense of Eilenberg and Kelly. But see also this preprint.

    The general formula for the induced tensor product is as explained on MO: given 𝕋\mathbb{T}-algebras (A,α)(A, \alpha) and (B,β)(B, \beta), one constructs the coequaliser

    F(TATB)F(AB)(A,α) 𝕋(B,β)F (T A \otimes T B) \rightrightarrows F (A \otimes B) \rightarrow (A, \alpha) \otimes_\mathbb{T} (B, \beta)

    where the parallel arrows are the composites

    F(TATB)F(ATB)FT(AB)F(AB)F (T A \otimes T B) \to F (A \otimes T B) \to F T (A \otimes B) \to F (A \otimes B) F(TATB)F(TAB)FT(AB)F(AB)F (T A \otimes T B) \to F (T A \otimes B) \to F T (A \otimes B) \to F (A \otimes B)

    and in the case of the “maybe monad” this is just

    1+(1+A)×(1+B)1+(A×B)AB1 + (1 + A) \times (1 + B) \rightrightarrows 1 + (A \times B) \to A \wedge B

    as expected. The strength of the monad is the evident natural morphism A×(1+B)A×1+A×B1+A×BA \times (1 + B) \to A \times 1 + A \times B \to 1 + A \times B induced by distributivity.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2014

    Thanks. And thanks for the pointer to Seal’s preprint.

    I have added to the entry

    (Seal 12, section 2.2 and theorem 2.5.5)

    • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 12th 2014

    I think it’s often easier to think about the internal-hom that’s right adjoint to the tensor product. For an enriched monad TT on a closed monoidal category and TT-algebras AA and BB, there’s an evident equalizer that defines a subobject of [A,B][A,B] consisting of the TT-algebra maps, and commutativity of TT says in dual form that this equalizer inherits the structure of a TT-algebra from [A,B][A,B] (whose algebra structure is induced pointwise from BB). It thereby yields a structure of closed category on TAlgT Alg, and the tensor product is just the left adjoint to that — it can be constructed using a coequalizer, but often this characterization makes it easier to see what it is concretely. In the case of pointed objects, the resulting subobject of [A,B][A,B] just “consists of pointed maps”, and you can check easily that the smash product is left adjoint to that closed structure on pointed objects.

    • CommentRowNumber16.
    • CommentAuthorZhen Lin
    • CommentTimeMay 17th 2014

    Re Urs #1:

    Any slice or coslice category of an accessible category is again accessible. There is a direct proof not involving (co)monadicity. More generally, the 2-category of accessible categories (and accessible functors) has comma objects, and these are preserved by the forgetful functor. (I think the accessibility of (co)algebras for a (co)monad actually depends on this result.)

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeMay 17th 2014
    • (edited May 17th 2014)

    Hi Zhen Lin,

    your messages here keep coming a bit out of the blue, as far as I am concerned,I am not sure what you want me to do here (some months after the above exchange, as it were).

    Since you refer to #1: in #1 I wrote:

    Maybe we should eventually have a dedicated section on this.

    You are maybe volunteering to start such a section!? That would be a useful contribution.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2016

    I have added bunch of basic facts, lemmas and examples to pointed object. In the course, I have slightly reformatted existing material, giving it numbered Definition/Proposition-environments.

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2016

    and I gave pointed mapping space its own little entry, for ease of reference.

    • CommentRowNumber20.
    • CommentAuthornasosev
    • CommentTimeApr 14th 2022
    • (edited Apr 14th 2022)

    In section ’Limits and colimits’, ’Proposition 4.3’ it says

    ’2. the colimits are the limits in 𝒞\mathcal{C} of the diagrams with the basepoint adjoined.’

    I think the ’limits’ should be ’colimits’.

    • CommentRowNumber21.
    • CommentAuthorvarkor
    • CommentTimeMar 10th 2023

    More generally, we can consider pointed objects in any pointed category (in the sense of having a distinguished object). Would it be reasonable to generalise the content of this page to that case?

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeMar 10th 2023

    I have added a remark on this in an Example “Relation to pointed categories” (now here).

    Also adjusted the wording and typesetting in the Idea-section (here)

    diff, v31, current

    • CommentRowNumber23.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 5th 2023

    I reworded Example 3.2. It has to be understood that in this example, the phrase “algebraic structures” is to be interpreted within the doctrine of cartesian monoidal categories. There is after all a useful notion of “pointing” in the doctrine of monoidal categories (in which the notion of monoid object still makes sense), where it refers to morphisms out of the monoidal unit (as for example “pointed abelian groups”, and also “pointed endofunctor”).

    diff, v32, current

    • CommentRowNumber24.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 5th 2023

    Added to the top a link to pointed object in a monoidal category (to be created).

    diff, v33, current

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeJun 5th 2023

    added a sentence to the Idea-section (here) that one may regard any XX-coslice category as a category of “XX-pointed objects”.

    diff, v34, current

    • CommentRowNumber26.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 5th 2023

    “Terminal object may have been a slip for “tensor unit”; I’ve fixed it. Also added a reference to generalized element.

    diff, v35, current