Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I gave functorial factorization its own little entry, for ease of pointing to the precise definition.
This is for the moment just copied over from the corresponding paragraph at weak factorization system (where I have re-organized the sectzion outline slightly, for clarity). Also I added cross-links with some relevant entries.
In a simplicial model category with small object argument. Can functorial factorization be simplicially functorial?
Yes, because every simplicial set is cofibrant. See 4.3.8 in Hirschhorn’s book or 24.2 here.
Thanks! I have added these pointers here.
1 to 5 of 5