Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: theory: category theory

Topic: closure under retracts of weak factorization systems


view this post on Zulip Matteo Capucci (he/him) (Feb 17 2025 at 16:29):

In Garner's Understanding the Small Object Argument he assumes the classes of a WFS are closed under retracts, while at [[weak factorization systems]], or in other sources I consulted, this isn't assumed. Is it just a terminological divergence or is it because someone later found out that assumption isn't needed?

view this post on Zulip Matteo Capucci (he/him) (Feb 17 2025 at 16:32):

Uhm ok the nLab proves that indeed one gets closure under retracts for free. Unless I misunderstood something?

view this post on Zulip fosco (Feb 17 2025 at 17:23):

You're right, and one possible reference is the joyal catlab https://ncatlab.org/joyalscatlab/published/Weak+factorisation+systems#closureofcomplementsfirst and https://ncatlab.org/joyalscatlab/show/Cartesian+squares#retractquasicart

view this post on Zulip Clémence Chanavat (Feb 17 2025 at 17:48):

Garner uses an equivalent definition of wfs, where instead of requiring that L=llp(R) L = llp(R) and R=rlp(L) R = rlp(L) , he simply asks LR L \pitchfork R (i.e. any lifting problem of a morphism in L L against a morphism in R R has a solution). If you add that L L and R R are closed under retracts, then you can recover back that the two classes L L and R R determine each other

view this post on Zulip Clémence Chanavat (Feb 17 2025 at 17:49):

See for instance Riehl Definition 2.2 in comparison with Lemma 2.3

view this post on Zulip Matteo Capucci (he/him) (Feb 17 2025 at 21:28):

Oooh I see! Thanks