Related papers: Liftable pairs of functors and Initial objects

Liftable pairs of adjoint functors between braided monoidal categories in the sense of \cite{GV-OnTheDuality} provide auto-adjunctions between the associated categories of bialgebras. Motivated by finding interesting examples of such pairs,…

In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor…

By the biadjoint triangle theorem, given a pseudomonad $\mathcal{T} $ on a $2$-category $\mathfrak{B} $, if a right biadjoint $\mathfrak{A}\to\mathfrak{B} $ has a lifting to the pseudoalgebras…

For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove…

For an adjoint pair $(F, G)$ of functors, we prove that $G$ is a separable functor if and only if the defined monad is separable and the associated comparison functor is an equivalence up to retracts. In this case, under an idempotent…

For topological spaces $X$ and $Y$, a (not necessarily continuous) function $f:X \rightarrow Y$ naturally induces a functor from the category of closed subsets of $X$ (with morphisms given by inclusions) to the category of closed subsets of…

A Quillen model structure is presented by an interacting pair of weak factorization systems. We prove that in the world of locally presentable categories, any weak factorization system with accessible functorial factorizations can be lifted…

There are two dual equivalences between the $\infty$-category of $\mathcal{O}$-monoidal $\infty$-categories with right adjoint lax $\mathcal{O}$-monoidal functors and that with left adjoint oplax $\mathcal{O}$-monoidal functors, where…

Let $U$ be a strong monoidal functor between monoidal categories. If it has both a left adjoint $L$ and a right adjoint $R$, we show that the pair $(R,L)$ is a linearly distributive functor and $(U,U)\dashv (R,L)$ is a linearly distributive…

This paper describes several cases of adjunction in the homomorphism preorder of relational structures. We say that two functors $\Lambda$ and $\Gamma$ between thin categories of relational structures are adjoint if for all structures…

We give another proof of the fact that there is a dual equivalence between the $\infty$-category of monoidal $\infty$-categories with left adjoint oplax monoidal functors and that with right adjoint lax monoidal functors by constructing a…

We show how, under certain conditions, an adjoint pair of braided monoidal functors can be lifted to an adjoint pair between categories of Hopf algebras. This leads us to an abstract version of Michaelis' theorem, stating that given a Hopf…

We explain two related constructions on the data of two monoidal symmetric closed categories $\mathscr{A}$ and $\mathscr{E}$ and monoidal functors $F: \mathscr{E}\to \mathscr{A}$ and $G: \mathscr{A}\to \mathscr{E}$. In a first part, we…

For functors $L:\A\to \B$ and $R:\B\to \A$ between any categories $\A$ and $\B$, a {\em pairing} is defined by maps, natural in $A\in \A$ and $B\in \B$, $$\xymatrix{\Mor_\B (L(A),B) \ar@<0.5ex>[r]^{\alpha} & \Mor_\A…

Given a double category D such that D_0 has pushouts, we characterize oplax/lax adjunctions between D and Cospan(D_0) such that the right adjoint is normal and restricts to the identity on D_0, where Cospan(D_0) denotes the double category…

Let $F:\mathcal{A}\to \mathcal{B}$ be a left adjoint between abelian categories and let $Ch(F)$ be the induced left adjoint on chain complexes. If the abelian categories $\mathcal{A}$ and $\mathcal{B}$ are equipped with sufficiently nice…

We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category…

Motivated by duality phenomena for derived global sections on derived local systems on compact oriented manifolds, we introduce the notion of a $d$-duality context between symmetric monoidal enriched categories. In this setting, the right…

We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…

Suppose that $F: \mathcal{N} \to \mathcal{M}$ is a functor whose target is a Quillen model category. We give a succinct sufficient condition for the existence of the right-induced model category structure on $\mathcal{N}$ in the case when…