Author: UrsFormat: MarkdownItexI have been polishing and expanding the entry _[[weak factorization system]]_:
* gave it an Idea-section;
* gave the definitions numbered environments and full details;
* spelled out the proof of the closure properties in full detail.
Regarding notation: I decided to use as generic name for a weak factorization system:
* not $(L,R)$, as used to be used in the entry (for that's already my preferred generic choice for pairs of adjoint functors on the $n$Lab, and for discussion of Quillen adjunctions the notation conventions would clash);
* not $(E,M)$ or the like, since that gives no hint as to what is meant (running into an "$E$" in the middle of some discussion, the reader is always at risk of having to browse back to figure out which class is meant);
* but... $(Proj, Inj)$, for that is nicely indicating what is meant.

Regarding notation: I decided to use as generic name for a weak factorization system:

not (L,R)(L,R), as used to be used in the entry (for that’s already my preferred generic choice for pairs of adjoint functors on the nnLab, and for discussion of Quillen adjunctions the notation conventions would clash);

not (E,M)(E,M) or the like, since that gives no hint as to what is meant (running into an “EE” in the middle of some discussion, the reader is always at risk of having to browse back to figure out which class is meant);

but… (Proj,Inj)(Proj, Inj), for that is nicely indicating what is meant.

Author: UrsFormat: MarkdownItexGiven a single class $K$ of morphisms, it's standard to write $K Proj$ and $K Inj$ for the corresponding left and right lifting classes. Accordingly, it's standard to say things like "$(K,K Inj)$ happens to be a weak factorization system" or $(K Proj,K )$ happens to be a weak factorization system".

Given a single class KK of morphisms, it’s standard to write KProjK Proj and KInjK Inj for the corresponding left and right lifting classes. Accordingly, it’s standard to say things like “(K,KInj)(K,K Inj) happens to be a weak factorization system” or (KProj,K)(K Proj,K ) happens to be a weak factorization system”.

Author: UrsFormat: MarkdownItexLet's maybe wait with changing notation back until edits stabilize.
Because, for instance that statement about the closure property is all about the lifting axioms and independent of the factorization, so its proof might better be copied over to the entry on lifting problems. There notation such as $(\mathcal{L}.\mathcal{R})$ wouldn't work, while $Inj$ and $Proj$ would be preferred there.

Let’s maybe wait with changing notation back until edits stabilize.

Because, for instance that statement about the closure property is all about the lifting axioms and independent of the factorization, so its proof might better be copied over to the entry on lifting problems. There notation such as (&Lscr;.&Rscr;)(\mathcal{L}.\mathcal{R}) wouldn’t work, while InjInj and ProjProj would be preferred there.

Author: Mike ShulmanFormat: MarkdownItexFor one thing, I think it's general mathematical practice that variables have single-character names. Multi-character identifiers are becoming more common than they used to be, but in all cases I can think of they are used to denote *specific, defined* objects rather than variables being quantified over. We talk about "the category $Set$" but we say "for any category $C$". I think violating a convention like this would be very confusing.

For one thing, I think it’s general mathematical practice that variables have single-character names. Multi-character identifiers are becoming more common than they used to be, but in all cases I can think of they are used to denote specific, defined objects rather than variables being quantified over. We talk about “the category SetSet” but we say “for any category CC”. I think violating a convention like this would be very confusing.

Author: UrsFormat: MarkdownItexMy experience is the opposite, frequently when looking up things in a longer text I need to waste time with browsing to figure out what the authors means by their letters. Notation that comes with indication of its meaning is less confusing and more efficient for communication. And specifically things like "fib, cof, proj, inj" are standard.
But let's leave it at that. I have replaced the $(Proj,Inj)$ in the entry now with $(\mathcal{L},\mathcal{R})$.

My experience is the opposite, frequently when looking up things in a longer text I need to waste time with browsing to figure out what the authors means by their letters. Notation that comes with indication of its meaning is less confusing and more efficient for communication. And specifically things like “fib, cof, proj, inj” are standard.

But let’s leave it at that. I have replaced the (Proj,Inj)(Proj,Inj) in the entry now with (&Lscr;,&Rscr;)(\mathcal{L},\mathcal{R}).

Author: UrsFormat: MarkdownItexnot sure why we really need to debate this. I find myself now interrupting doing useful work and instead collecting references just to argue about notation; I shouldn't do that. But before I could stop myself, the first hit was this here: [pdf](https://ncatlab.org/nlab/files/ModelCatPrimer.pdf).
But let's really leave it at that. I have changed the notation on the nLab to your preference, so all is good.

not sure why we really need to debate this. I find myself now interrupting doing useful work and instead collecting references just to argue about notation; I shouldn’t do that. But before I could stop myself, the first hit was this here: pdf.

But let’s really leave it at that. I have changed the notation on the nLab to your preference, so all is good.

1 to 11 of 11

Add your comments

Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.UsernamePassword

To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.