22 Nov
2001
22 Nov
'01
6:20 a.m.
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