A criterion for existence of right‐induced model structures

DOI10.1112/BLMS.12232MaRDI QIDQ5229528zbMATH OpenOpenAlexWikidataFDO

Authors Gabriel C. Drummond-Cole, Philip Hackney

Publication date 15 August 2019

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1712.07787

zbMATH Keywords

model categoryQuillen adjunctionright-induced model structure

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: Suppose that $F:mathcalNomathcalM$ 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 $mathcalN$ in the case when $F$ admits both adjoints. We give several examples, including change-of-rings, operad-like structures, and anti-involutive structures on infinity categories. For the last of these, we explore anti-involutive structures for several different models of $(infty,1)$-categories, and show that known Quillen equivalences between base model categories lift to equivalences.

Recommendations

• A necessary and sufficient condition for induced model structures
• THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS
• Right delocalization of model categories
• A model-theoretic counterpart to Moishezon morphisms
• A model-theoretic note on the Freiman-Ruzsa theorem
• scientific article; zbMATH DE number 1743874
• On the structure of models of bounded $E\sb 1$-induction
• scientific article; zbMATH DE number 4061471
• A structure theorem for right invariant right holoids
• A theorem on the existence of a strong model

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1757930 (Why is no real title available?)
• scientific article; zbMATH DE number 5219541 (Why is no real title available?)
• scientific article; zbMATH DE number 970691 (Why is no real title available?)
• A Quillen model structure for 2-categories
• A foundation for PROPs, algebras, and modules
• A model category structure on the category of simplicial categories
• A model for the homotopy theory of homotopy theory
• A necessary and sufficient condition for induced model structures
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Category theory in context
• Cellular categories
• Crossed Simplicial Groups and their Associated Homology
• Dagger compact closed categories and completely positive maps (extended abstract)
• Dendroidal sets
• Equivariant calculus of functions and \(\mathbb{Z}/2\)-analyticity of real algebraic \(K\)-theory
• Feynman categories
• Fibrations and geometric realizations
• Function complexes in homotopical algebra
• Hermitian \(K\)-theory of exact categories
• Higher Topos Theory (AM-170)
• Homotopy of planar Lie group equivariant presheaves
• Homotopy theory for algebras over polynomial monads
• Homotopy-theoretic aspects of 2-monads
• Infinity properads and infinity wheeled properads
• Left-induced model structures and diagram categories
• Mapping spaces in quasi-categories
• Modular operads
• On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
• Quantum quandaries: a category-theoretic perspective
• Regular patterns, substitudes, Feynman categories and operads
• Resolution of coloured operads and rectification of homotopy algebras
• Sheafifiable homotopy model categories
• Simplicial methods for operads and algebraic geometry. Edited by Carles Casacuberta and Joachim Kock
• Strong stacks and classifying spaces
• The Homotopy Theory of Cyclic Sets
• The geometry of iterated loop spaces

Cited in

(9)

• Coextension of scalars in operad theory
• Induced model structures for higher categories
• A model structure on prederivators for $(\infty,1)$-categories
• Categories of graphs for operadic structures
• Segal conditions for generalized operads
• Dwyer-Kan homotopy theory for cyclic operads
• Homotopy-coherent algebra via Segal conditions
• Modular operads and the nerve theorem
• Joyal's cylinder conjecture

This page was built for publication: A criterion for existence of right‐induced model structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5229528)