* Two one-sided inverse adjoints
@ 2000-11-01 12:52 Till Mossakowski
0 siblings, 0 replies; only message in thread
From: Till Mossakowski @ 2000-11-01 12:52 UTC (permalink / raw)
To: categories
Consider the following situation:
R |- F |- L with F o R = id and F o L = id.
I have derived a number of results about this situation, but probably this
is already known in the literature? Under the name `Lawvere cylinders'?
Till Mossakowski
-----------------------------------------------------------------------------
Till Mossakowski Phone +49-421-218-4683, monday: +49-4252-1859
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen till@informatik.uni-bremen.de
P.O.Box 330440, D-28334 Bremen http://www.informatik.uni-bremen.de/~till
-----------------------------------------------------------------------------
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2000-11-01 12:52 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-11-01 12:52 Two one-sided inverse adjoints Till Mossakowski
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).