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,
concrete duality: dual object, dualizable object, fully dualizable object, dualizing object
between higher geometry/higher algebra
Langlands duality, geometric Langlands duality, quantum geometric Langlands duality
A dualizing object is an object $a$ which can be regarded as being an object of two different categories $A$ and $B$, such that the concrete duality which is induced by homming into that object induces dual adjunctions between $A$ and $B$, schematically:
Many famous dualities are induced this way, for instance Stone duality and Gelfand-Naimark duality.
There are various different terms for “dualizing objects”. As recalled in Porst-Tholen 91, p. 112
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.”
Let $A$ and $B$ be two categories over $Set$, given by functors
(Traditionally in what follows, one assumed $U$ and $V$ to be faithful, i.e., one considered $A$ and $B$ to be categories of sets with extra structure, aka concrete categories, although we won’t actually need this. Or, sometimes one sees the hypothesis that $U, V$ are representable, but we won’t require this either.)
The situation described in the Idea section asks us to consider contravariantly adjoint functors $T: A \to B$, $S: B \to A$ such that $U S: B \to Set$ and $V T: A \to Set$ are representable, i.e., are given by isomorphisms $B(-, \mathbf{b}) \cong U S$ (with representing element $\phi \in U S \mathbf{b}$) and $A(-, \mathbf{a}) \cong V T$ (with representing element $\psi \in V T \mathbf{a}$). Let $\eta: 1_A \to S T$ and $\epsilon: 1_B \to T S$ denote the universal maps of the adjunction (so that if we write $T$ and $S$ in covariant form as $T: A \to B^{op}$ and $S: B^{op} \to A$, we would have $T \dashv S$ with $\eta$ as unit and $\epsilon$ as counit).
The representing data $\phi \in U S \mathbf{b}, \psi \in V T \mathbf{a}$ induce a canonical isomorphism $\omega: U \mathbf{a} \stackrel{\sim}{\to} V \mathbf{b}$. It is given by the evident composite
The inverse is given by a similar composite but switching the roles of $\mathbf{a}$ and $\mathbf{b}$, $\phi$ and $\psi$, $\eta$ and $\epsilon$, $S$ and $T$, and $U$ and $V$.
Letting $x$ be an element of $U \mathbf{a}$, the element $\omega(x) \in V \mathbf{b}$ is by definition $(V g)(\psi)$ where $g: T \mathbf{a} \to \mathbf{b}$ is the unique map (by representability) such that $(U \eta \mathbf{a})(x) = (U S g)(\phi)$. The alleged inverse $\widebar{\omega}: V \mathbf{b} \to U \mathbf{a}$ takes an element $y \in V \mathbf{b}$ to $(U f)(\phi)$, where $f: S \mathbf{b} \to \mathbf{a}$ is the unique map such that $(V T f)(\psi) = (V \epsilon \mathbf{b})(y)$.
To check these maps are inverse, one may check simply $(\omega \widebar{\omega})(y) = y$ for any $y \in V \mathbf{b}$; the other equation $\widebar{\omega} \omega = id$ follows by symmetry. With notation as above, put $x = \widebar{\omega}(y)$, so $x = (U f)(\phi) \in U \mathbf{a}$. Now we embark on a diagram chase, starting with
where the top and right quadrilaterals commute by naturality, and $\xi: T S \mathbf{b} \to \mathbf{b}$ is the unique arrow making the left quadrilateral commute. In fact $\xi$ is the structure map for a $T S$-algebra structure on $\mathbf{b}$, although for our purposes we will only need the unit axiom for such a structure. Following the perimeter of this diagram, we see
is the unique arrow $g: T \mathbf{a} \to \mathbf{b}$ such that $(U S g)(\phi) = (U \eta \mathbf{a})(x)$. Continuing on our way, applying $V$ to $g$ and evaluating at $\psi$, we have only to check that the composite
equals $y: 1 \to V \mathbf{b}$. But already we said $(V T f)(\psi) = (V \epsilon \mathbf{b})(y)$, so the last composite is
and all we need to do now is check the unit equation $\xi \circ (\epsilon \mathbf{b}) = 1_\mathbf{b}$. But this follows from representability of $U S$, applied to the diagram
where the top horizontal composite is an identity, according to a triangular equation.
The canonical identification of sets $\omega: U \mathbf{a} = V \mathbf{b}$ means that we have an object “sitting in two categories” (Lawvere), namely an $A$-structure $\mathbf{a}$ on this set and a $B$-structure $\mathbf{b}$ on the same set, with $T: A^{op} \to B$ providing a lift of $A(-, \mathbf{a}): A^{op} \to Set$ through $V: B \to Set$, and $S: B^{op} \to A$ lifting $B(-, \mathbf{b}): B^{op} \to Set$ through $U: A \to Set$.
Given functors $U: A \to Set$, $V: B \to Set$, we define $Adj_{rep}(U, V)$ to be the category whose objects are contravariantly adjoint pairs $(S: B \to A, T: A \to B)$ such that $U S$ and $V T$ are representable. Morphisms $(S, T) \to (S', T')$ are pairs of natural transformations $\alpha: S \to S'$, $\beta: T \to T'$ such that the diagrams
commute. We define $2\text{-}Pull(U, V)$ to be the 2-pullback of $U$ and $V$ in $Cat$ (i.e., the bi-iso-comma-object). In conjunction with the Yoneda lemma, the preceding proposition can be read as giving the construction of a functor $\Phi: Adj_{rep}(U, V) \to 2\text{-}Pull(U, V)$.
Here then is one key definition.
Given $U: A \to Set$, $V: B \to Set$, a $(U, V)$-dualizing object (or $(U, V)$-ambimorphic object) is a triple $(\mathbf{a}, \mathbf{b}, \omega: U \mathbf{a} \stackrel{\sim}{\to} V \mathbf{b})$ in the essential image of $\Phi$.
Definition is reasonably general and is one of several notions of “schizophrenic object” given in Dimov-Tholen93. A somewhat tighter notion, also considered in Dimov-Tholen 89 and Porst-Tholen 91 and which covers many cases that arise in practice, involves initial lifts through the functors $U$, $V$.
Again, suppose given contravariant adjoint functors $S, T$ with $U S$ and $V T$ representable as above. We have maps
so that for each object $a$ of $A$ and $x \in U a$, we have a corresponding map $(\gamma a)(x): T a \to \mathbf{b}$ (playing the role of “$g$” in the proof of Proposition ), and similarly for each object $b$ of $B$ and $y \in V b$, we have a map $(\delta b)(y): S b \to \mathbf{a}$ (playing the role of “$f$” in Proposition ).
The adjunction between $S$ and $T$ is naturally represented if the family $\{(\gamma a)(x): T a \to \mathbf{b}\}_{x \in U a}$ is $V$-initial for each $a \in Ob(A)$, and the family $\{(\delta b)(y): S b \to \mathbf{a}\}_{y \in V b}$ is $U$-initial for each $b \in Ob(B)$.
The restriction of $\Phi: Adj_{rep}(U, V) \to 2\text{-}Pull(U, V)$ to the full subcategory whose objects are naturally represented adjoint pairs is full and faithful.
See Dimov-Tholen, Proposition 2.3, where the proof is sketched. Thus naturally represented adjoint pairs could be equivalently described as certain types of ambimorphic objects. We now describe these.
Let us denote the action of $A$ on the module $U: A \to Set$, with components $A(a, a') \times U a \to U a'$, by the notation $(f, x) \mapsto f \cdot_U x$. Thus each $x \in U a$ induces a map $- \cdot_U x: A(a, \mathbf{a}) \to U \mathbf{a}$. Similarly, each $y \in V b$ induces a map $- \cdot_V y: B(b, \mathbf{b}) \to V \mathbf{b}$.
A $(U, V)$-ambimorphic object $(\mathbf{a}, \mathbf{b}, \omega: U \mathbf{a} \stackrel{\sim}{\to} V \mathbf{b})$ is natural if for every $a \in Ob(A)$, the $V$-structured source diagram
admits an initial lift targeted at $\mathbf{b}$ (so a suitable diagram of the form $\gamma_x: T a \to \mathbf{b}$ indexed over $x \in U a$, for some object $T a$ of $B$), and for every $b \in Ob(B)$, the $U$-structured source diagram
admits an initial lift (a diagram of type $\delta_y: S b \to \mathbf{a}$), targeted at $\mathbf{a}$.
Thus the category of naturally represented adjoint pairs relative to $(U, V)$ is equivalent to the category of natural $(U, V)$-dualizing objects. This is the notion of “schizophrenic object” given by Porst-Tholen 91; a reasonably detailed proof of the equivalence with naturally represented adjoint pairs is given in their Theorem 1.7.
One easy general example of the notion given in Definition is where $C$ is a symmetric monoidal closed category and $d$ is an object therein. Here we may take $U = V = C(I, -): C \to Set$ where $I$ is the monoidal unit, and the contravariant representable functor $C(-, d): C \to Set$ lifts to a contravariant enriched hom $[-, d]: C \to C$; the symmetry isomorphism can be exploited to show how $[-, d]$ is adjoint to itself. See here for more.
Further examples appear at
Gelfand duality (see at center of an adjunction the section Examples - Gelfand duality)
G. D. Dimov, Walter Tholen, A Characterization of Representable Dualities, In: Categorical Topology and its Relation to Analysis, Algebra and Combinatorics, Prague, Czechoslovakia 22-27 August 1988, J. Adamek and S. MacLane (eds.), World Scientific, Singapore, New Jersey, London, Hong Kong, 1989, pp. 336-357.
G. D. Dimov, Walter Tholen, Groups of Dualities, Trans. Amer. Math. Soc., 336 (2), 901-913, 1993. (pdf)
Hans-E. Porst, Walter Tholen, Concrete Dualities in H. Herrlich, Hans-E. Porst (eds.) Category Theory at Work, Heldermann Verlag 1991 (pdf)
Michael Barr, John F. Kennison, R. Raphael, Isbell Duality (pdf)
Last revised on July 22, 2018 at 20:26:49. See the history of this page for a list of all contributions to it.