[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

categories: Re: adjoint equivalence

To: categories@mta.ca
Subject: categories: Re: adjoint equivalence
From: Paul LEVY <levy@pps.jussieu.fr>
Date: Wed, 21 Nov 2001 20:20:04 +0100
References: <200111201650.fAKGol115859@foobar.pps.jussieu.fr> <v04210100b82090d744b1@[137.111.90.45]>
Sender: cat-dist@mta.ca

Hi, I just found the result I asked for yesterday in Blackwell, Kelly,
Power, Journal of Pure and Applied Algebra vol. 59.  I hadn't noticed it.

Looking at the discussion in that paper, I see that I should have been
more precise in phrasing my question today.  By "equivalence from C to D"
I meant "a 4-tuple (f,g,eta,mu) such that...".  I didn't mean "an f such
that there exists g,eta,mu such that...", as I belong to the "don't put
existential quantifiers in categorical definitions" school of thought.

Sorry for any confusion
Paul

References:
- categories: adjoint equivalence
  - From: Paul LEVY <levy@pps.jussieu.fr>
- categories: Re: adjoint equivalence
  - From: Ross Street <street@ics.mq.edu.au>

Prev by Date: categories: Exact adjunctions
Next by Date: categories: Re: Exact adjunctions
Previous by thread: categories: Re: adjoint equivalence
Next by thread: categories: Re: adjoint equivalence
Index(es):
- Date
- Thread