In 2010, J. Climent Vidal and J. Soliveres Tur developed, among other things, a pair of 2-adjunctions between the 2-category of adjunctions and the 2-category of monads. One is related to the Kleisli adjunction and the other to the Eilenberg-Moore adjunction for a given monad.Since any 2-adjunction induces certain natural isomorphisms of categories, these can be used to classify bijection...

It is shown that every two-variable adjunction in categories enriched a commutative quantale serves as base for constructing Isbell adjunctions between functor categories, and Kan are precisely constructed from suitable associated adjunctions. Representation theorems established fixed points of these

We generalize the adjoint logics of Benton and Wadler (1996) and Reed (2009) to allow multiple different adjunctions between the same categories. This provides insight into the structural proof theory of cohesive homotopy type theory, which integrates the synthetic homotopy theory of homotopy type theory with the synthetic topology of Lawvere’s axiomatic cohesion. Reed’s calculus is parametrize...

Abstract This paper concerns spherical adjunctions of stable $\infty $-categories and their relation to monadic adjunctions. We begin with a proof the 2/4 property in setting $-categories. The is based on description as $4$-periodic semiorthogonal decompositions given by Halpern-Leistner Shipman [4] Dyckerhoff et al. [3]. then describe class examples arising from local systems spheres. main res...

Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively generalizations of Isbell adjunctions and Kan extensions in category theory. It is proved that these two processes are functorial with infomorphisms playing as morphi...

We investigate certain adjunctions in derived categories of equivariant spectra, including a right adjoint to fixed points, a right adjoint to pullback by an isometry of universes, and a chain of two right adjoints to geometric fixed points. This leads to a variety of interesting other adjunctions, including a chain of 6 (sometimes 7) adjunctions involving the restriction functor to a subgroup ...