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
The concept of adjunction as such expresses a duality. The stronger concept of an adjoint cylinder or adjoint modality is specifically an adjunction between idempotent (co-)monads and is meant to express specifically a duality between opposites.
In terms of the corresponding adjoint triple of (co-)reflections and localizations the concept was suggested in (Lawvere 91, p. 7, Lawvere 94, p. 11) to capture the phenomena of “Unity and Identity of Opposites” as they appear informally in Georg Hegel‘s Science of Logic. (One might therefore say the notion is meant to capture the idea of “dialectic”, though there is some debate as to whether Hegel’s somewhat mythical “creation out of paradox” should really go by this term, see this Wikipeda entry ).
In terms of adjoint pairs of modal operators in the context of modal logic/modal type theory and thought of as Galois connections the concept appears in (Reyes-Zolfaghari 91). Further developments along these lines include (DJK 14).
In (Lawvere 94) an adjoint cylinder is defined to be an adjoint triple such that the outer two adjoints are full and faithful functors. This means equivalently that the induced adjoint pair on the codomain of these inclusions consists of an idempotent monad and comonad (adjoint monads). One may also consider the situation where the middle functor of the adjoint triple is fully faithful, hence one has adjoint modal operators either of the form
or of the form
A category equipped with an adjoint modality of the second form is called a category of being in (Lawvere 91). If the category is a topos then this is also called a level of a topos.
Given any such, we may say that the “unity” expressed by the two opposites is exhibited by the canonical natural transformation
which is the composite of the counit of the comodality and the unit of the modality.
If for two levels the next one contains the modal types of the idempotent comonad of the former, then Lawvere speaks of “Aufhebung” (see there for more).
One can consider longer sequences of such adjoints of co/modalities, but the longer they get, the less likely they are to be non-trivial. The longest that still has good nontrivial models seems to be adjoint triples of modalities. Of these there is then similarly either the form
(the “Yin triple”) as for instance in the definition of cohesion and
(the “Yang triple”) as for instance in the definition of differential cohesion.
Since adjoint triples are equivalently adjunctions of adjunctions (Licata-Shulman, section 5), it is suggestive to denote these as
The following simple illustrative example of an adjunction of the form $\Box \dashv \bigcirc$ has been suggested in (Lawvere 00).
Regard the integers as a preordered set $(\mathbb{Z}, \leq)$ in the canonical way, and thus as a thin category.
Consider the full subcategory inclusions
of the even and the odd integers, as well as the functor
which sends any $n$ to the floor $\lfloor n/2 \rfloor$ of $n/2$, hence to the largest integer which is smaller or equal to the rational number $n/2$.
These functors form an adjoint triple
and hence induce an adjoint modality
on $(\mathbb{Z}, \leq)$ with
$Even \coloneqq 2 \lfloor -/2 \rfloor$ sending any integer to its “even floor value”
$Odd \coloneqq 2 \lfloor -/2 \rfloor + 1$ sending any integer to its “odd ceiling value”.
Observe that for all $n \in \mathbb{Z}$ we have
where the first inequality is an equality precisely if $n$ is even, while the second is an equality precisely if $n$ is odd. Hence this provides a candidate unit $\eta$ and counit $\epsilon$.
Hence by this characterization of adjoint functors
the adjunction $\lfloor -/2 \rfloor \dashv odd$ is equivalent to the condition that
for every $n \leq 2 k + 1$ we have $2 \lfloor n/2 \rfloor + 1 \leq 2 k + 1$;
the adjunction $even \dashv \lfloor -/2 \rfloor$ is equivalent to the condition that
for every $2k \leq n$ we have $2k \leq 2 \lfloor n/2 \rfloor$,
which is readily seen to be the case
In the same vein there is an example for an adjunction of the form $\bigcirc \dashv \Box$:
Consider the inclusion $\iota \colon (\mathbb{Z}, \lt) \hookrightarrow (\mathbb{R}, \lt)$ of the integers into the real numbers, both regarded linear orders. This inclusion has a left adjoint given by $ceiling$ and a right adjoint civen by $floor$. The composite $Ceiling \coloneqq \iota ceiling$ is an idempotent monad and the composite $Floor \coloneqq \iota floor$ is an idempotent comonad on $\mathbb{R}$. Both express a moment of integrality in an real number, but in opposite ways, each real number $x\in \mathbb{R}$ sits in between its floor and celling
Indeed the moments form an adjunction
For $\mathbf{H}$ a topos/(∞,1)-topos consider the “initial topos”, the terminal category $\ast \simeq Sh(\emptyset)$ (category of sheaves on the empty site).
There is then an adjoint triple
given by including the initial object $\emptyset$ and the terminal object $\ast$ into $\mathbf{H}$.
In the type theory of $\mathbf{H}$ this corresponds to the adjoint pair of modalities
which are constant on the initial object/terminal object, respectively.
The induced unity transformation is
hence the unique factorization of the unique function $\emptyset \longrightarrow \ast$ through any other type.
Looking through (Hegel 1812, vol 1, book 1, section 1, chapter 1) one might call $\emptyset$ “nothing”, call $\ast$ “being” and then call this unity of opposites “becoming”. In particular in §174 of Science of Logic it says
there is nothing which is not an intermediate state between being and nothing
which seems to be well-captured by the above unity transformation.
The adjoint modality in a local topos is that given by flat modality $\dashv$ sharp modality
Capturing discrete objects/codiscrete objects.
The corresponding unity transformation is
According to (Lawvere 94, p. 6) this unity captures the duality that in a set all elements are distinct and yet indistinguishable, an apparent paradox that may be traced back to Georg Cantor.
Looking through Hegel’s Science of Logic at On discreteness and repulsion one can see that matches with what Hegel calls
(par 398) Quantity is the unity of these moments of continuity and discreteness
For $\mathbf{H}$ a cohesive topos/cohesive (∞,1)-topos the shape modality $\dashv$ flat modality constitute an adjoint cylinder
The corresponding unity-transformation is the points-to-pieces transform
Looking through (Hegel 1812, vol 1, book 1, section 2, chapter 1) one might call $\flat$ “repulsion”, call $ʃ$ “attraction”/“cohesion” and then call this unity of opposites “continuum”. Indeed, by the discussion at cohesive topos, this does quite well capture the geometric notion of continuum geometry.
For $\mathbf{H}$ equipped moreover with differential cohesion, there is the infinitesimal version of shape modality $\dashv$ flat modality namely the adjoint modality
infinitesimal shape modality$\dashv$ infinitesimal flat modality
The corresponding unity-transformation is the
maps from the coefficients for crystalline cohomology to the de Rham space of types $X$, where all infinitesimal neighbour points are identified.
In view of the above the unity exhibited here is clearly to be called the “infinitesimal continuum”.
The combination of the above two examples of Continuum and Quantity is an adjoint triple of modalities
shape modality$\dashv$ flat modality $\dashv$ sharp modality
characteristic of a cohesive topos.
simplicial skeleton$\dashv$ simplicial coskeleton
For $A$ a commutative ring or more generally an E-∞ ring and $\mathfrak{a}\subset \pi_0 A$ a suitable ideal, then $\mathfrak{a}$-adic completion and $\mathfrak{a}$-torsion approximation form an adjoint modality on $A MMod$ the stable (∞,1)-category of ∞-modules $A Mod_\infty$ over $A$.
($\mathfrak{a}$-adic completion) $\dashv$ ($\mathfrak{a}$-torsion approximation)
Let $A$ be an E-∞ ring and let $\mathfrak{a} \subset \pi_0 A$ be a finitely generated ideal in its underlying commutative ring.
Then there is an adjoint triple of adjoint (∞,1)-functors
where
$A Mod$ is the stable (∞,1)-category of modules, i.e. of ∞-modules over $A$;
$A Mod_{\mathfrak{a}tor}$ and $A Mod_{\mathfrak{a} comp}$ are the full sub-(∞,1)-categories of $\mathfrak{a}$-torsion and of $\mathfrak{a}$-complete $A$-∞-modules, respectively;
$(-)^{op}$ denotes the opposite (∞,1)-category;
the equivalence of (∞,1)-categories on the left is induced by the restriction of $\Pi_{\mathfrak{a}}$ and $\flat_{\mathfrak{a}}$.
This is effectively the content of (Lurie “Proper morphisms”, section 4):
the existence of $\Pi_{\mathfrak{a}}$ is corollary 4.1.16 and remark 4.1.17
the existence of $\flat_{\mathfrak{a}}$ is lemma 4.2.2 there;
the equivalence of sub-$\infty$-categories is proposition 4.2.5 there.
See at fracture theorem for more.
On super smooth infinity-groupoids there is an adjoint modality deriving from the adjoint triple relating plain algebra and superalgebra. The right adjoint deserves to be called the bosonic modality (“body”), hence its left adjoint the fermionic modality. This expresses the presence of supergeometry/fermions, hence ultimately the Pauli exclusion principle. Following PN§290 this unity of opposties might hence be called “asunderness”.
For $\mathcal{K}$ a totally distributive category it induces on its category of presheaves an adjoint modality whose right adjoint is the Yoneda embedding $Y$ postcomposed with its left adjoint $X$.
See at recollement.
The concept of dialectical reasoning is usually attributed to
See
Hegel in his History of Philosophy writes that dialectic begins with Zeno (one of the characters in that dialogue).
This is much amplified and expanded in
The origins of its proposed formalization in category theory are recalled in
See also
Dieter Wandschneider, Dialektik als Letztbegründung der Logik, in Koreanische Hegelgesellschaft (ed.), Festschrift für Sok-Zin Lim Seoul 1999, 255–278 (pdf)
Wikipedia, Hegelian dialectic
Conceived of in terms of adjoint triples of (co-)reflections and localizations the concept appears in
William Lawvere, Some Thoughts on the Future of Category Theory in A. Carboni, M. Pedicchio, G. Rosolini, Category Theory , Proceedings of the International Conference held in Como, Lecture Notes in Mathematics 1488, Springer (1991)
William Lawvere, Cohesive Toposes and Cantor's "lauter Einsen", Philosophia Mathematica (3) Vol. 2 (1994), pp. 5-15. (pdf)
William Lawvere, Tools for the advancement of objective logic: closed categories and toposes, in J. Macnamara and Gonzalo Reyes (Eds.), The Logical Foundations of Cognition, Oxford University Press 1993 (Proceedings of the Febr. 1991 Vancouver Conference “Logic and Cognition”),
pages 43-56, 1994.
William Lawvere, Unity and Identity of Opposites in Calculus and Physics, Proceedings of ECCT 1994 Tours Conference, Applied Categorical Structures, 4: 167-174 Kluwer Academic Publishers, (1996).
F. W. Lawvere, Adjoint Cylinders, message to catlist November 2000. (link)
In terms of adjoint pairs of modal operators and hence of Galois connections, the concept appears in
Gonzalo Reyes, H. Zolfaghari, Topos-theoretic approaches to modality, Lecture Notes in Mathematics 1488 (1991), 359-378.
Gonzalo Reyes, A topos-theoretic approach to reference and modality, Notre Dame J. Formal Logic Volume 32, Number 3 (1991), 359-391 (Euclid)
with further developments in
M. Sadrzadeh, R. Dyckho, Positive logic with adjoint modalities: Proof theory, semantics and reasoning about information, Electronic Notes in Theoretical Computer Science 249, 451-470, 2009, in Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009).
Claudio Hermida, section 3.3. of A categorical outlook on relational modalities and simulations, 2010 (pdf)
Wojciech Dzik, Jouni Järvinen, Michiro Kondo, Characterising intermediate tense logics in terms of Galois connections (arXiv:1401.7646)
Formalization specifically in modal type theory is in
For an overview of the role of adjunctions in modal logic see:
Last revised on August 19, 2018 at 08:59:54. See the history of this page for a list of all contributions to it.