This entry is about a concept of duality in general category theory. For the concept of dualizing objects in a closed category as used in homological algebra and stable homotopy theory see at dualizing object in a closed category.
abstract duality: opposite category,
A dualizing object is an object which can be regarded as being an object of two different categories and , such that the concrete duality which is induced by homming into that object induces duality adjunctions between and , schematically:
There are various different terms for “dualizing objects”. As recalled on p. 112 of the article by Porst and Tholen below
Isbell speaks of objects keeping summer and winter homes;
Lawvere speaks of objects sitting in two categories;
Simmons speaks of schizophrenic objects.
It has been convincingly argued by Tom Leinster (blog comment here) that the term “schizophrenic” should not be used. Todd Trimble then suggested the term “ambimorphic object.” Another suggestion was “Janusian object.”
Then consider pairs of objects with the same underlying set, . Then … (see reference below).
Examples appear at
H.-E. Porst, W. Tholen, Concrete Dualities in Category Theory at Work, Herrlich, Porst (eds.) (pdf)
Michael Barr, John F. Kennison, R. Raphael, Isbell Duality (pdf)