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.
    • CommentAuthorBen_Sprott
    • CommentTimeNov 5th 2017
    • (edited Nov 5th 2017)

    Hi,

    I asked this question on math overfow. It was about Bimonads on Set that are exact. Todd Trimble gave a comment about the following endofunctors: MM \circ - and M- \circ M.

    I am now very curious about these. What are these Bimonads? What are the concrete examples for their natural transformations?

    What is the source category for the adjunction that gives rise to these Bimonads on Set?

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeNov 5th 2017

    As Todd said, he wasn’t answering your question, he was explaining what he thought your question meant. MM is the bimonad you’re wondering about the existence of, on some category CC, and the property that (M):[C,C][C,C](M \circ -) : [C,C] \to [C,C] and (M):[C,C][C,C](- \circ M) : [C,C] \to [C,C] preserve equalizers (in the endofunctor category, which are calculated pointwise if CC has equalizers) is (he thought) the property that you were asking whether a bimonad MM could have.

    • CommentRowNumber3.
    • CommentAuthorBen_Sprott
    • CommentTimeNov 6th 2017

    Thanks Mike!