Subject: categories: Two one-sided inverse adjoints

From: Till Mossakowski <[email-masked]>
Date: Wed, 1 Nov 2000 13:52:48 +0100 (MET)

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            [email-masked]           
P.O.Box 330440, D-28334 Bremen  http://www.informatik.uni-bremen.de/~till
-----------------------------------------------------------------------------