7 Dec
2011
7 Dec
'11
1:58 p.m.
When I, along with Bob Raphael and John Kennison wrote a paper on such dualities, we called them Isbell dualities and didn't bother to name the common object. Of course, we still consider it meaningful to talk about one object living in two categories. It is not a formal notion (although we did make an attempt to formalize it to some extent) but very useful for intuition. Of course for the mathematician who is strictly formal, this is meaningless. While I have met such people, they are thankfully rare. See http://www.tac.mta.ca/tac/volumes/20/15/20-15.pdf for our paper. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]