From: "Francisco Marmolejo (314)" <quico@matem.unam.mx>
To: categories@mta.ca
Subject: Re: 2-categorical monad functor lifting
Date: Mon, 26 Mar 2012 10:05:45 -0600 (CST) [thread overview]
Message-ID: <E1SCY1Y-0006ic-FI@mlist.mta.ca> (raw)
In-Reply-To: <E1SC8RW-0007tX-8Y@mlist.mta.ca>
Dear Steve,
you may want to check
Coherence for pseudodistributive laws revisited
F. Marmolejo and R.J. Wood
Theory and Applications of Categories, Vol. 20, No. 6, 2008, pp. 74–84.
and the bibliography there-in for the pseudo case (and for pseudomonads).
The standard reference for the 1-categorical case must surely be
The formal theory of monads
R. Street
J. Pure Appl. Algebra 2 (1972)
F. Marmolejo
On Mon, 26 Mar 2012, Steve Vickers wrote:
> As we know, a monad functor between two monads (possibly on different
> categories) can be lifted to a functor between the algebra categories.
>
> Fauser and I needed a corresponding 2-categorical result: a 2-monad
> 2-functor (of course, the natural transformation involved needs to be
> 2-natural) between two 2-monads (possibly on different 2-categories) can
> be lifted to a 2-functor between the lax algebra 2-categories. Also the
> lifting preserves pseudo-ness and strictness of the algebras.
>
> We checked all the equations and it works, but we're not experts on the
> 2-categorical literature and we wonder if it's already known. Our first
> literature searches haven't shown up anything - though even the
> 1-categorical case (which surely is well known) is elusive.
>
> Has anyone seen this result before?
>
> Steve Vickers.
>
>
> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
prev parent reply other threads:[~2012-03-26 16:05 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-03-26 9:23 Steve Vickers
2012-03-26 16:05 ` Francisco Marmolejo (314) [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1SCY1Y-0006ic-FI@mlist.mta.ca \
--to=quico@matem.unam.mx \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).