Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
An adjoint triple $F \dashv G \dashv H$ is called an ambidextrous adjunction (or sometimes ambijunction, for short) if the left adjoint $F$ and the right adjoint $H$ of $G$ are equivalent $F \simeq H$. Sometimes $F$ is said to be biadjoint to $G$ (not to be confused with biadjoint in the sense of a biadjunction).
The monad induced by an ambidextrous adjunction is a Frobenius monoid object in endofunctors. (e.g. Lauda 05, theorem 17), hence a Frobenius monad.
Let $\mathcal{D} \in Cat_\infty$ be an (β,1)-category with small (β,1)-colimits. For $f \;\colon\; X \longrightarrow Y$ a morphism of β-groupoids, write
for the induced pullback of (β,1)-functor (β,1)-categories (which one may think of as the categories of $\mathcal{D}$-valued local systems over $X$ and $Y$, respectively). The left adjoint and right adjoint (if it exists) of this are left and right (β,1)-Kan extension.
Say that a morphism $f$ is $\mathcal{D}$-ambidextrous if $(f_! \dashv f^\ast)$ is an ambidextrous adjunction $(f_! \simeq f_\ast)$ and in addtion all pullbacks of $f$ satisfy some property (β¦).
Say that an β-groupoid $A \in Grpd_\infty$ is $\mathcal{D}$-ambidextrous if its terminal map is.
(Hopkins-Lurie 14, def. 4.1.11)
A morphism $f \colon X \to Y$ between β-groupoids, is $\mathcal{D}$-ambidextrous, def. , precisely if each homotopy fiber $X_y$ of $f$ is.
(Hopkins-Lurie 14, prop. 4.3.5)
(coincident limits and colimits)
Let $\mathcal{C}$ be a small category and $\mathcal{D}$ any category and consider the functor $const \mathcal{D} \longrightarrow [\mathcal{C}^{op}, \mathcal{D}]$ that sends objects to constant presheaves with this value. Then the right adjoint of this functor is, if it exists, the limit construction, and the left adjoint is, if it exists, the colimit construction. (See also at Kan extension.) Therefore if both exist as an ambidextrous adjunction, then this means that limits in $\mathcal{D}$ over diagrams of shape $\mathcal{C}$ coincide with the colimits over these diagrams. If $\mathcal{C}$ is a finite set, then this situation is traditionally referred to as biproducts. Generally therefore this is sometimes called bilimits (but see the discussion of the terminology there).
In (Hopkins-Lurie 14, section 4.3) such $\mathcal{C}$ is called $\mathcal{D}$-ambidextrous (or rather, they consider $\mathcal{C}$ an β-groupoid and hence call it a $\mathcal{D}$-ambidextrous space). Concrete examples of this include those discussed at K(n)-local stable homotopy theory.
(Yoga of six functors)
A WirthmΓΌller context in the presence of an un-twisted WirthmΓΌller isomorphism is an ambidextrous adjunction.
Every self-adjoint functor forms an ambidextrous adjunction.
Ross Street, Frobenius monads and pseudomonoids, J. Math. Phys. 45.(2004) (web)
Aaron Lauda, Frobenius algebras and ambidextrous adjunctions (arXiv:math/0502550)
Last revised on May 30, 2022 at 11:59:46. See the history of this page for a list of all contributions to it.