* lax monad
@ 1999-03-13 4:10 Gaunce Lewis
0 siblings, 0 replies; 2+ messages in thread
From: Gaunce Lewis @ 1999-03-13 4:10 UTC (permalink / raw)
To: categories
I am looking for literature references for the notion of a 'lax' monad (or
triple), and lax algebras over such, in the context of 2-categories--the
definition being that the usual diagrams commute only up to a 2-cell. Can
anyone suggest good references?
Thanks,
Gaunce Lewis
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: lax monad
@ 1999-03-14 23:39 Ross Street
0 siblings, 0 replies; 2+ messages in thread
From: Ross Street @ 1999-03-14 23:39 UTC (permalink / raw)
To: categories
>I am looking for literature references for the notion of a 'lax' monad (or
>triple), and lax algebras over such, in the context of 2-categories--the
>definition being that the usual diagrams commute only up to a 2-cell. Can
>anyone suggest good references?
Some good old references are:
M. Barr "Relational algebras" SLNM 137 (1970) 39-55
M. Bunge, "Coherent extensions and relational algebras" Transactions AMS
around 1974.
G.M. Kelly & R. Street, "Review of the elements of 2-categories" SLNM 420
(1974) 75-103.
--Ross
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1999-03-14 23:39 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-03-13 4:10 lax monad Gaunce Lewis
1999-03-14 23:39 Ross Street
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).