A criterion for existence of right‐induced model structures

DOI10.1112/BLMS.12232zbMATH Open1422.18002arXiv1712.07787OpenAlexW3100723784WikidataQ128449521 ScholiaQ128449521MaRDI QIDQ5229528FDOQ5229528

Gabriel C. Drummond-Cole, Philip Hackney

Publication date: 15 August 2019

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

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.

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

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

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)

Cites Work

• The geometry of iterated loop spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dagger compact closed categories and completely positive maps (extended abstract)
• Title not available (Why is that?)
• Higher Topos Theory (AM-170)
• Infinity properads and infinity wheeled properads
• Homotopy theory for algebras over polynomial monads
• Hermitian K-theory of exact categories
• Modular operads
• A Foundation for PROPs, Algebras, and Modules
• Title not available (Why is that?)
• Regular patterns, substitudes, Feynman categories and operads
• Feynman Categories
• Resolution of coloured operads and rectification of homotopy algebras
• Homotopy-theoretic aspects of 2-monads
• The Homotopy Theory of Cyclic Sets
• Crossed Simplicial Groups and their Associated Homology
• A model category structure on the category of simplicial categories
• A model for the homotopy theory of homotopy theory
• Simplicial methods for operads and algebraic geometry. Edited by Carles Casacuberta and Joachim Kock
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Sheafifiable homotopy model categories
• Title not available (Why is that?)
• Mapping spaces in quasi-categories
• Quantum quandaries: a category-theoretic perspective
• Dendroidal sets
• Strong stacks and classifying spaces
• Function complexes in homotopical algebra
• A Quillen model structure for 2-categories
• EQUIVARIANT CALCULUS OF FUNCTORS AND-ANALYTICITY OF REAL ALGEBRAIC -THEORY
• Fibrations and geometric realizations
• Category theory in context
• A necessary and sufficient condition for induced model structures
• Homotopy of planar Lie group equivariant presheaves
• Left-Induced Model Structures and Diagram Categories
• On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
• Cellular categories

Cited In (9)

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

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)