Timeline for Is the canonical model structure on strict $\infty$-Cat left proper?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 10, 2021 at 15:45 | comment | added | Mike Shulman | At a talk I heard someone ask Lack whether the model structure on bicategories is also left proper. He said he hadn't checked it and had no plans to, but he had no reason to think it wouldn't be. However, I could easily believe that stuff would start to go wrong in dimensions >2, although I haven't thought about it myself. | |
| Apr 10, 2021 at 15:43 | comment | added | Mike Shulman | On the nLab we chose "canonical". It's maybe not great, but it's better than "folk". | |
| Apr 10, 2021 at 15:10 | comment | added | Simon Henry | I suspect Lack's key lemma 6.2 (pushouts by generating trivial cofibrations preserve trivial fibrations) is false in dimension >2. I think I had a counter example to this sort of claim at some point (I'll try to remind myself what it is... maybe it'll say something about the general question) | |
| Apr 10, 2021 at 14:52 | comment | added | Simon Henry | By the way, what name would you suggest to replace folk by ? I agree it isn't a great name, but I haven't seen any better suggestion. | |
| Apr 10, 2021 at 14:51 | comment | added | Simon Henry | I feel silly, I did tried to look at it, but I looked at the wrong paper ^^ (I only looked at the one correcting a mistake in this one, but that does not mention properness) Thanks for the pointer | |
| Apr 10, 2021 at 14:28 | history | answered | Mike Shulman | CC BY-SA 4.0 |