A simple characterization of Quillen adjunctions

Victor Carmona

2024-06-04

Abstract:We observe that an enriched right adjoint functor between model categories which preserves acyclic fibrations and fibrant objects is quite generically a right Quillen functor.

Algebraic Topology,Category Theory

What problem does this paper attempt to address?

Quillen adjunctions induce adjunctions of quasicategories

Aaron Mazel-Gee

DOI: https://doi.org/10.48550/arXiv.1501.03146

2015-01-13

Category Theory

Abstract:We prove that a Quillen adjunction of model categories (of which we do not require functorial factorizations and of which we only require finite bicompleteness) induces a canonical adjunction of underlying quasicategories.
Model $\infty$-categories II: Quillen adjunctions

Aaron Mazel-Gee

DOI: https://doi.org/10.48550/arXiv.1510.04392

2015-10-15

Algebraic Topology

Abstract:We prove that various structures on model $\infty$-categories descend to corresponding structures on their localizations: (i) Quillen adjunctions; (ii) two-variable Quillen adjunctions; (iii) monoidal and symmetric monoidal model structures; and (iv) enriched model structures.
Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions

Lili Shen,Dexue Zhang

DOI: https://doi.org/10.48550/arXiv.1307.5625

2013-07-22

Abstract: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 morphisms between distributors; and that the free cocompletion functor of Q-categories factors through both of these functors.

Category Theory
Adjunctions in Quantaloid-enriched Categories

Lili Shen

DOI: https://doi.org/10.48550/arXiv.1408.0321

2015-10-14

Abstract:This dissertation is devoted to a study of adjunctions concerning categories enriched over a quantaloid Q (or Q-categories for short), with the following types of adjunctions involved: (1) adjoint functors between Q-categories; (2) adjoint distributors between Q-categories; (3) adjoint functors between categories consisting of Q-categories. For a small quantaloid Q and a distributor between Q-categories, two adjunctions between the Q-categories of contravariant and covariant presheaves are presented. These adjunctions respectively extend the fundamental construction of Isbell adjunctions and Kan extensions in category theory, so, they will be called the Isbell adjunction and Kan adjunction, respectively. The functoriality of these constructions is the central topic of this dissertation. In order to achieve this, infomorphisms between distributors are introduced to organize distributors (as objects) into a category. Then we proceed as follows: first, the Isbell adjunction and Kan adjunction associated with each distributor between Q-categories give rise to two monads, which are respectively (covariant) functorial and contravariant functorial from the category of distributors and infomorphisms to the category of Q-closure spaces; second, it is shown that the assignments of a distributor to the fixed points of the two monads are respectively (covariant) functorial and contravariant functorial from the category of distributors and infomorphisms to that of skeletal complete Q-categories and left adjoint functors. As consequences of the functoriality of the above processes, three factorizations of the free cocompletion functor of Q-categories are presented. Finally, as applications, the theory of formal concept analysis and that of rough sets are extended to theories based on fuzzy relations between fuzzy sets.

Category Theory
The cellularization principle for Quillen adjunctions

J. P. C. Greenlees,B. Shipley

DOI: https://doi.org/10.48550/arXiv.1301.5583

2013-05-16

Abstract:The Cellularization Principle states that under rather weak conditions a Quillen adjunction of stable model categories induces a Quillen equivalence on cellularizations provided there is a derived equivalence on cells. We give a proof together with a range of examples. The main result here was originally presented as an appendix of <a class="link-https" data-arxiv-id="1101.2511" href="https://arxiv.org/abs/1101.2511">arXiv:1101.2511</a>. However, the Cellularization Principle has many other applications which are explored here. The material in <a class="link-https" data-arxiv-id="1101.2511v3" href="https://arxiv.org/abs/1101.2511v3">arXiv:1101.2511v3</a> will be revised to refer to this paper.

Algebraic Topology
A functorial approach to monomorphism categories II: Indecomposables

Nan Gao,Julian Külshammer,Sondre Kvamme,Chrysostomos Psaroudakis

DOI: https://doi.org/10.1112/plms.12640

2024-09-18

Proceedings of the London Mathematical Society

Abstract:Abstract We investigate the (separated) monomorphism category of a quiver over an Artin algebra . We show that there exists an epivalence (called representation equivalence in the terminology of Auslander) from to , where is the category of finitely generated ‐modules and and denote the respective injectively stable categories. Furthermore, if has at least one arrow, then we show that this is an equivalence if and only if is hereditary. In general, the epivalence induces a bijection between indecomposable objects in and noninjective indecomposable objects in , and we show that the generalized Mimo‐construction, an explicit minimal right approximation into , gives an inverse to this bijection. We apply these results to describe the indecomposables in the monomorphism category of radical square zero Nakayama algebras, and to give a bijection between the indecomposables in the monomorphism category of two artinian uniserial rings of Loewy length 3 with the same residue field. The main tool to prove these results is the language of a free monad of an exact endofunctor on an arbitrary abelian category. This allows us to avoid the technical combinatorics arising from quiver representations. The setup also specializes to more general settings, such as representations of modulations. In particular, we obtain new results on the singularity category of the algebras that were introduced by Geiss, Leclerc, and Schröer in order to extend their results relating cluster algebras and Lusztig's semicanonical basis to symmetrizable Cartan matrices. We also recover results on the algebras that were introduced by Lu and Wang to realize groups via semiderived Hall algebras.

mathematics
Monoidal algebraic model structures

Emily Riehl

DOI: https://doi.org/10.1016/j.jpaa.2012.09.029

IF: 0.834

2013-06-01

Journal of Pure and Applied Algebra

Abstract:Extending previous work, we define monoidal algebraic model structures and give examples. The main structural component is what we call an algebraic Quillen two-variable adjunction; the principal technical work is to develop the category theory necessary to characterize them. Our investigations reveal an important role played by “cellularity”–loosely, the property of a cofibration being a relative cell complex, not simply a retract of such–which we particularly emphasize. A main result is a simple criterion which shows that algebraic Quillen two-variable adjunctions correspond precisely to cell structures on the pushout-products of generating (trivial) cofibrations. As a corollary, we discover that the familiar monoidal model structures on categories and simplicial sets admit this extra algebraic structure.

mathematics, applied
A Quillen adjunction between globular and complicial approaches to $(\infty,n)$-categories

Viktoriya Ozornova,Martina Rovelli

DOI: https://doi.org/10.48550/arXiv.2206.02689

2022-06-06

Abstract:We prove the compatibility between the suspension construction and the complicial nerve of $\omega$-categories. As a motivating application, we produce a Quillen pair between the models of $(\infty,n)$-categories given by Rezk's complete Segal $\Theta_n$-spaces and Verity's $n$-complicial sets.

Algebraic Topology,Category Theory
Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence

Hossein Faridian

2024-05-03

Abstract:This expository article sets forth a self-contained and purely algebraic proof of a deep result of Quillen stating that the category of simplicial commutative algebras over a commutative ring is a model category. This is accomplished by starting from the model structure on the category of connective chain complexes, transferring it to the category of simplicial modules via Dold-Kan Correspondence, and further transferring it to the category of simplicial commutative algebras through Quillen-Kan Transfer Machine. The subtlety of overcoming the acyclicity condition is addressed by introducing and studying the shuffle product of connective chain complexes, establishing a variant of Eilenberg-Zilber Theorem, and carefully scrutinizing the subtle structures under study.

Category Theory
A monoidal Dold-Kan correspondence for comodules

Maximilien Péroux

2024-04-08

Abstract:We provide examples of inductive fibrant replacements in fibrantly generated model categories constructed as Postnikov towers. These provide new types of arguments to compute homotopy limits in model categories. We provide examples for simplicial and differential graded comodules. Our main application is to show that simplicial comodules and connective differential graded comodules are Quillen equivalent and their derived cotensor products correspond. We deduce that the rational $A$-theory of a simply connected space $X$ is equivalent to the $K$-theory of perfect chain complexes with a $C_*(X; \mathbb{Q})$-comodule structure.

Algebraic Topology,Category Theory
Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions

Lili Shen,Xiaoye Tang

DOI: https://doi.org/10.1007/s10485-021-09654-w

2022-01-26

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

Category Theory
A derivability criterion based on the existence of adjunctions

Beatriz Rodriguez Gonzalez

DOI: https://doi.org/10.48550/arXiv.1202.3359

2012-02-15

Category Theory

Abstract:In this paper we introduce a derivability criterion of functors based on the existence of adjunctions rather than on the existence of resolutions. It constitutes a converse of Quillen-Maltsiniotis Derived Adjunction Theorem. We present two consequences of our derivability criterion. On the one hand, we prove that the two notions for homotopy colimits corresponding to Grothendieck derivators and Quillen model categories are equivalent. On the other hand, we deduce that the internal hom for derived Morita theory constructed by B. Toen is indeed the right derived functor of the internal hom of dg-categories.
Generalizing quasi-categories via model structures on simplicial sets

Matthew Feller

2023-10-11

Abstract:We use Cisinski's machinery to construct and study model structures on the category of simplicial sets whose classes of fibrant objects generalize quasi-categories. We identify a lifting condition which captures the homotopical behavior of quasi-categories without the algebraic aspects and show that there is a model structure whose fibrant objects are precisely those which satisfy this condition. We also identify a localization of this model structure whose fibrant objects satisfy a "special horn lifting" condition similar to the one satisfied by quasi-categories. This special horn model structure leads to a conjecture characterization of the bijective-on-0-simplices trivial cofibrations of the Joyal model structure. We also discuss how these model structures all relate to one another and to the minimal model structure.

Algebraic Topology,Category Theory
Topological categories, quantaloids and Isbell adjunctions

Lili Shen,Walter Tholen

DOI: https://doi.org/10.1016/j.topol.2015.12.020

IF: 0.583

2016-03-01

Topology and its Applications

Abstract:In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory. Motivated by some key results of the 1970s, the paper develops all needed ingredients from the theory of quantaloids in order to place essential results of categorical topology into the context of quantaloid-enriched category theory, a field that previously drew its motivation and applications from other domains, such as quantum logic and sheaf theory.

mathematics, applied
A Quillen model structure of local homotopy equivalences

Devarshi Mukherjee,Guillermo Cortiñas

2024-03-27

Abstract:In this note, we construct a closed model structure on the category of $\mathbb{Z}/2\mathbb{Z}$-graded complexes of projective systems of ind-Banach spaces. When the base field is the fraction field $F$ of a complete discrete valuation ring $V$, the homotopy category of this model structure is the derived category of the quasi-abelian category $\overleftarrow{\mathsf{Ind}(\mathsf{Ban}_F)}$. This homotopy category is the appropriate target of the local and analytic cyclic homology theories for complete, torsionfree $V$-algebras and $\mathbb{F}$-algebras. When the base field is $\mathbb{C}$, the homotopy category is the target of local and analytic cyclic homology for pro-bornological $\mathbb{C}$-algebras, which includes the subcategory of pro-$C^*$-algebras.

K-Theory and Homology,Algebraic Topology,Category Theory
Constructing model categories with prescribed fibrant objects

Alexandru E. Stanculescu

DOI: https://doi.org/10.48550/arXiv.1208.6005

2012-08-29

Category Theory

Abstract:We present a weak form of a recognition principle for Quillen model categories due to J.H. Smith. We use it to put a model category structure on the category of small categories enriched over a suitable monoidal simplicial model category. The proof uses a part of the model structure on small simplicial categories due to J. Bergner. We give an application of the weak form of Smith's result to left Bousfield localizations of categories of monoids in a suitable monoidal model category.
Multi-adjoint concept lattices via quantaloid-enriched categories

Hongliang Lai,Lili Shen

DOI: https://doi.org/10.1016/j.fss.2020.03.007

2020-03-11

Abstract:With quantaloids carefully constructed from multi-adjoint frames, it is shown that multi-adjoint concept lattices, multi-adjoint property-oriented concept lattices and multi-adjoint object-oriented concept lattices are derivable from Isbell adjunctions, Kan adjunctions and dual Kan adjunctions between quantaloid-enriched categories, respectively.

Logic in Computer Science,Category Theory
Stacks and sheaves of categories as fibrant objects

Alexandru E. Stanculescu

DOI: https://doi.org/10.48550/arXiv.1403.0536

2014-04-17

Abstract:We show that the category of categories fibred over a site is a generalized Quillen model category in which the weak equivalences are the local equivalences and the fibrant objects are the stacks, as they were defined by J. Giraud. The generalized model category restricts to one on the full subcategory whose objects are the categories fibred in groupoids. We show that the category of sheaves of categories is a model category that is Quillen equivalent to the generalized model category for stacks and to the model category for strong stacks due to A. Joyal and M. Tierney.

Category Theory
Injective Objects of Monomorphism Categories

Keyan Song,Yuehui Zhang

DOI: https://doi.org/10.1007/s11464-016-0524-0

2016-01-01

Abstract:For an acyclic quiver Q and a finite-dimensional algebra A, we give a unified form of the indecomposable injective objects in the monomorphism category Mon(Q,A) and prove that Mon(Q,A) has enough injective objects.

A simple characterization of Quillen adjunctions

Quillen adjunctions induce adjunctions of quasicategories

Model $\infty$-categories II: Quillen adjunctions

Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions

Adjunctions in Quantaloid-enriched Categories

The cellularization principle for Quillen adjunctions

A functorial approach to monomorphism categories II: Indecomposables

Monoidal algebraic model structures

A Quillen adjunction between globular and complicial approaches to $(\infty,n)$-categories

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence

A monoidal Dold-Kan correspondence for comodules

Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions

A derivability criterion based on the existence of adjunctions

Generalizing quasi-categories via model structures on simplicial sets

Topological categories, quantaloids and Isbell adjunctions

A Quillen model structure of local homotopy equivalences

Constructing model categories with prescribed fibrant objects

Multi-adjoint concept lattices via quantaloid-enriched categories

Stacks and sheaves of categories as fibrant objects

Injective Objects of Monomorphism Categories