Related papers: Comparing localizations across adjunctions
I verify the existence of left Bousfield localizations and of enriched left Bousfield localizations, and I prove a collection of useful technical results characterizing certain fibrations of (enriched) left Bousfield localizations. I also…
We prove that a weak equivalence between cofibrant props induces a weak equivalence between the associated classifying spaces of algebras. This statement generalizes to the prop setting a homotopy invariance result which is well known in…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We characterise dependently typed algebraic theories as finitary…
Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…
Homotopy links have proven to be one of the most powerful tools of stratified homotopy theory. In previous work, we described combinatorial models for the generalized homotopy links of a stratified simplicial set. For many purposes, in…
We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…
The purpose of this paper is two fold: we study the behaviour of the forgetful functor from S-modules to graded vector spaces in the context of algebras over an operad and derive from this theory the construction of combinatorial Hopf…
We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous…
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…
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…
We study locally constant coefficients. We first study the theory of homotopy Kan extensions with locally constant coefficients in model categories, and explain how it characterizes the homotopy theory of small categories. We explain how to…
For our purposes, two functors {\Lambda} and {\Gamma} are said to be respectively left and right adjoints of each other if for any digraphs G and H, there exists a homomorphism of {\Lambda}(G) to H if and only if there exists a homomorphism…
We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…
B\"ohm and \c{S}tefan have expressed cyclic homology as an invariant that assigns homology groups $\mathrm{HC}^\chi_i(\mathrm N, \mathrm M)$ to right and left coalgebras $\mathrm N$ respectively $\mathrm M$ over a distributive law $\chi$…
We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
We show that contrary to appearances, Multimodal Type Theory (MTT) over a 2-category M can be interpreted in any M-shaped diagram of categories having, and functors preserving, M-sized limits, without the need for extra left adjoints. This…
It is shown that the multiplicative monoids of Brauer's centralizer algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself, and where, moreover, a kind of…
Let R be a ring and let T be a hereditary torsion class of R-modules. The inclusion of the localizing subcategory generated by T into the derived category of R has a right adjoint, which is a colocalization. Benson has recently shown how to…