Timeline for About a canonical model structure on topologically enriched categories
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 27, 2018 at 4:00 | history | edited | Philippe Gaucher | CC BY-SA 4.0 |
added 296 characters in body
|
| Sep 23, 2018 at 1:01 | comment | added | Tim Campion | Oh, I agree it's the standard terminology, it's just that the standard terminology clashes | |
| Sep 22, 2018 at 7:02 | vote | accept | Philippe Gaucher | ||
| Sep 22, 2018 at 6:45 | comment | added | Philippe Gaucher | @TimCampion I believed that that was the standard terminology; yes I meant that; And you're right, 'local' has not exactly the same meaning in Lurie's book. I'll be careful. | |
| Sep 21, 2018 at 20:17 | answer | added | Tim Campion | timeline score: 6 | |
| Sep 21, 2018 at 19:37 | comment | added | Tim Campion | Just to be clear, by "local homeomorphism in $Cat_{Top_\Delta}$", you mean a functor $F$ which is fully faithful in the $Top_\Delta$-enriched sense that $Hom(a,b) \to Hom(Fa,Fb)$ is an isomorphism in $Top_\Delta$ (i.e. a homeomorphism) for all $a,b$. So this notion is unrelated to the notion of a local homeomorphism in $Top_\Delta$. Since this is potentially confusing, I think I'd prefer the term "$Top_\Delta$-fully-faithful" or something like that. So a weak equvialence in this "canonical" model structure is precisely a $Top_\Delta$-enriched equivalence of categories. | |
| Sep 20, 2018 at 13:56 | history | edited | Philippe Gaucher | CC BY-SA 4.0 |
deleted 4 characters in body
|
| Sep 20, 2018 at 12:38 | history | asked | Philippe Gaucher | CC BY-SA 4.0 |