Made-to-order weak factorization systems

Emily Riehl*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Abstract

For a cocomplete category M which satisfies certain "smallness" condition (such as being locally presentable), the algebraic small object argument defines the functorial factorization necessary for a "made-to-order" weak factorization system with right class.

Original languageEnglish
Title of host publicationExtended Abstracts Fall 2013
Subtitle of host publicationPart II - Type Theory, Homotopy Theory and Univalent Foundations
EditorsNicola Gambino, Joachim Kock
PublisherBirkhäuser
Pages87-92
Number of pages6
ISBN (Electronic)9783319212845
ISBN (Print)9783319212838
DOIs
Publication statusPublished - 2015
Externally publishedYes
EventConference on Type Theory, Homotopy Theory and Univalent Foundations - Barcelona, Spain
Duration: 23 Sep 201327 Sep 2013

Publication series

NameTrends in Mathematics
PublisherSpringer
ISSN (Electronic)2297-0215

Conference

ConferenceConference on Type Theory, Homotopy Theory and Univalent Foundations
CountrySpain
CityBarcelona
Period23/09/1327/09/13

    Fingerprint

Cite this

Riehl, E. (2015). Made-to-order weak factorization systems. In N. Gambino, & J. Kock (Eds.), Extended Abstracts Fall 2013: Part II - Type Theory, Homotopy Theory and Univalent Foundations (pp. 87-92). (Trends in Mathematics). Birkhäuser. https://doi.org/10.1007/978-3-319-21284-5_17