Related papers: Descent Data and Absolute Kan Extensions

There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms…

We study the left adjoint $\mathbb{D}$ to the forgetful functor from the $\infty$-category of symmetric monoidal $\infty$-categories with duals and finite colimits to the $\infty$-category of symmetric monoidal $\infty$-categories with…

We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint functors between corresponding copresheaf categories. These may…

Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…

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…

The \begin{it} Invariance Theorem \end{it} of M. Gerstenhaber and S. D. Schack states that if $\mathbb{A}$ is a diagram of algebras then the subdivision functor induces a natural isomorphism between the Yoneda cohomologies of the category…

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

This article is the last of the series of articles where we reprove the foundational ideas of abstract six-functor formalisms developed by Liu-Zheng. We prove the theorem of partial adjoints, which is a simplicial technique of encoding…

Given a right adjoint functor between triangulated categories and an object in the target category, we show that the unit map of adjunction on that object is a split monomorphism if and only if the object belongs to the additive closure of…

In this article we develop formal category theory within augmented virtual double categories. Notably we formalise the classical notions of Kan extension, Yoneda embedding $\text y_A\colon A \to \hat A$, exact square, total category and…

In the first part of this paper we study fibrations of $(\infty,2)$-categories. We give a simple characterization of such fibrations in terms of a certain square being a pullback, and apply this to show that in some cases…

We define the functor $\textrm{ncDef}_{(Z_1,\ldots,Z_n)}$ of non-commutative deformations of an $n$-tuple of objects in an arbitrary $k$-linear abelian category $\mathcal{Z}$. In our categorified approach, we view the underlying spaces of…

For an associative ring $R$, let $P$ be an $R$-module with $S=\End_R(P)$. C.\ Menini and A. Orsatti posed the question of when the related functor $\Hom_R(P,-)$ (with left adjoint $P\ot_S-$) induces an equivalence between a subcategory of…

We provide a new description of the hom functor on weak $\omega$-categories, and we show that it admits a left adjoint that we call the suspension functor. We then show that the hom functor preserves the property of being free on a…

In this paper we consider a conilpotent coalgebra $C$ over a field $k$. Let $\Upsilon\colon C\textsf{-Comod}\longrightarrow C^*\textsf{-Mod}$ be the natural functor of inclusion of the category of $C$-comodules into the category of…

We consider homomorphisms of complete, separated right or two-sided linear topological rings with countable bases of neighborhoods of zero $\mathfrak f\colon\mathfrak R\to\mathfrak S$. Taut maps of right linear topological rings, strongly…

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…

If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has developed a theory of "decorated" cospans,…

We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an…

Given an $\infty$-category $\mathcal{C}$ with pullbacks, its $(\infty,2)$-category $\mathbf{Span}(\mathcal{C})$ of spans has the universal property of freely adding right adjoints to morphisms in $\mathcal{C}$ satisfying a Beck--Chevalley…