* Membranes and monads
@ 2010-04-30 21:16 Mike Stay
0 siblings, 0 replies; only message in thread
From: Mike Stay @ 2010-04-30 21:16 UTC (permalink / raw)
To: categories
There's a design pattern for object-oriented programming called a
"membrane" that turns out to be just a pair of adjoint monads; an
"identity-preserving membrane" is a monad with an inverse. Do either
of these have other names in the category theory literature?
--
Mike Stay - metaweta@gmail.com
http://www.cs.auckland.ac.nz/~mike
http://reperiendi.wordpress.com
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-04-30 21:16 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-04-30 21:16 Membranes and monads Mike Stay
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).