Algebraic weak factorisation systems. II: Categories of weak maps.

DOI10.1016/J.JPAA.2015.06.003MaRDI QIDQ886978zbMATH OpenOpenAlexFDO

Authors John Bourke, Richard Garner

Publication date 27 October 2015

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

(co)monad2-monadalgebraic weak factorisation systemscondescendent objectsdg-categorydg-monaddiscrete pullback fibrationdouble categoryhomological lalihomotopy-coherent mapsmodel of a sketchsketchspansweak maps

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We investigate the categories of weak maps associated to an algebraic weak factorisation system (AWFS) in the sense of Grandis-Tholen. For any AWFS on a category with an initial object, cofibrant replacement forms a comonad, and the category of (left) weak maps associated to the AWFS is by definition the Kleisli category of this comonad. We exhibit categories of weak maps as a kind of "homotopy category", that freely adjoins a section for every "acyclic fibration" (=right map) of the AWFS; and using this characterisation, we give an alternate description of categories of weak maps in terms of spans with left leg an acyclic fibration. We moreover show that the 2-functor sending each AWFS on a suitable category to its cofibrant replacement comonad has a fully faithful right adjoint: so exhibiting the theory of comonads, and dually of monads, as incorporated into the theory of AWFS. We also describe various applications of the general theory: to the generalised sketches of Kinoshita-Power-Takeyama, to the two-dimensional monad theory of Blackwell-Kelly-Power, and to the theory of dg-categories.

Recommendations

• Weak factorization systems and topological functors
• On the category of weak bialgebras
• Weak Bialgebras and Monoidal Categories
• Categories and weak equivalences of graded algebras
• Bifibrations and weak factorisation systems
• Identity types and weak factorization systems in Cauchy complete categories
• On weak higher-dimensional categories. I. 2
• Weak factorization systems for S-acts.
• Algebraic structures in comodule categories over weak bialgebras
• Categories and functors of weak Doi-Koppinen modules.

Cites work

• Algebraic model structures
• Algebraic operads
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Algebras of higher operads as enriched categories
• Coherence for tricategories
• Dendroidal sets
• Deriving DG categories
• Higher Topos Theory (AM-170)
• Homomorphisms of higher categories
• Homotopy-theoretic aspects of 2-monads
• scientific article; zbMATH DE number 3125399 (Why is no real title available?)
• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 3236072 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• Internal algebra classifiers as codescent objects of crossed internal categories
• Limits for lax morphisms
• Localization Theories for Simplicial Presheaves
• Monoidal algebraic model structures
• Natural weak factorization systems.
• Quasi-categories and Kan complexes
• Quillen model structures for relative homological algebra
• Sketches
• The coalgebraic structure of cell complexes
• The formal theory of monads
• Two-dimensional monad theory
• Two-dimensional monadicity
• Understanding the small object argument
• Weak reflections and weak factorization systems
• What do dg-categories form?

Cited in

(17)

• 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\)
• Equipping weak equivalences with algebraic structure
• Cofibrantly generated lax orthogonal factorisation systems
• An algebraic weak factorisation system on 01-substitution sets: a constructive proof
• From torsion theories to closure operators and factorization systems
• Hom weak ω-categories of a weak ω-category
• Iterated algebraic injectivity and the faithfulness conjecture
• MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
• A skew approach to enrichment for Gray-categories
• Weak reflections and weak factorization systems
• Computads for generalised signatures
• Kripke-Joyal forcing for type theory and uniform fibrations
• -weak equivalences between weak -categories
• The algebraic weak factorisation system for delta lenses
• Skew-enriched categories
• Doubly weak double categories
• Algebraic weak factorisation systems. I: Accessible AWFS.

This page was built for publication: Algebraic weak factorisation systems. II: Categories of weak maps.

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