Related papers: The Monadic Tower for $\infty$-Categories
We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…
It is known that the construction of the frame of ideals from a distributive lattice induces a monad whose algebras are precisely the frames and frame homomorphisms. Using the Fakir construction of an idempotent approximation of a monad, we…
We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case…
Firm Frobenius algebras are firm algebras and counital coalgebras such that the comultiplication is a bimodule map. They are investigated by categorical methods based on a study of adjunctions and lifted functors. Their categories of…
Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…
We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently…
We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. Every 2-category with finite limits and colimits has a…
To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we…
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…
For a given family $\{(\mathrm{q}_i, \mathrm{t}_i, \mathrm{p_i} )\}_{i \in I}$ of adjoint triples between exact categories $\mathcal{C}$ or $\mathcal{D}$, we show that any cotorsion pair in $\mathcal{C}$ and $\mathcal{D}$ yield two…
For a rigid object $M$ in an algebraic triangulated category $\mathcal{T}$, a functor pr$(M)\to\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ is constructed, which essentially takes an object to its `presentation', where pr$(M)$ is the full…
We introduce and discuss the notion of naturally full functor. The definition is similar to the definition of separable functor: a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial…
Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg-Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is 'essentially…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…
This paper investigates the interplay between properties of a topological space $X$, in particular of its natural order, and properties of the lax comma category $\mathsf{Top} \Downarrow X$, where $\mathsf{Top}$ denotes the category of…
We revisit a construction of wide subcategories going back to work of Ingalls and Thomas. To a torsion pair in the category $ R\operatorname{-}\operatorname{mod}$ of finitely presented modules over a left artinian ring $R$, we assign two…
We prove that for any presentably symmetric monoidal $\infty$-category $\mathcal{V}$, the $\infty$-category $\mathbf{Mod}_\mathcal{V}(\mathbf{Pr}^{\mathrm{L}})^{\mathrm{dbl}}$ of dualizable presentable $\mathcal{V}$-modules and internal…
We combine several folklore observations to provide a working framework for iterating constructions which contradict the axiom of choice. We use this to define a model in which any kind of structural failure must fail with a proper class of…
Taking inspiration from the monadicity of complete atomic Boolean algebras, we prove that profinite modal algebras are monadic over Set. While analyzing the monadic functor, we recover the universal model construction - a construction…