Timeline for The Yoneda Lemma for $(\infty,1)$-categories?
Current License: CC BY-SA 4.0
23 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 22, 2019 at 14:01 | history | edited | Martin Sleziak |
added the (yoneda-lemma) tag
|
|
| Jan 22, 2019 at 11:31 | history | edited | Praphulla Koushik | CC BY-SA 4.0 |
edited title
|
| Apr 28, 2017 at 14:04 | answer | added | KotelKanim | timeline score: 8 | |
| Aug 3, 2010 at 11:23 | vote | accept | Harry Gindi | ||
| Feb 10, 2010 at 5:48 | history | made wiki | Post Made Community Wiki by Harry Gindi | ||
| Dec 28, 2009 at 14:42 | comment | added | Urs Schreiber | The nLab page in question happened to be a stub (very incomplete), but I don't tink it ever suggested that the (oo,1)-Yoneda lemma fails. It seemed to state what the general statement should be and then referenced a result about the Yoneda embedding aspect. You should all feel encouraged to expand that nLab entry. A good reply posted here is likely to serve a more sustainable purpose when archived on the Lab. | |
| Dec 26, 2009 at 18:50 | answer | added | D.-C. Cisinski | timeline score: 20 | |
| Dec 26, 2009 at 18:17 | vote | accept | Harry Gindi | ||
| Aug 3, 2010 at 11:22 | |||||
| Dec 26, 2009 at 16:54 | history | edited | Reid Barton |
edited tags
|
|
| Dec 26, 2009 at 12:23 | history | edited | Kevin H. Lin |
edited tags
|
|
| Dec 26, 2009 at 9:19 | history | edited | Kevin H. Lin |
edited tags
|
|
| Dec 26, 2009 at 8:57 | history | edited | Harry Gindi |
problem no longer open
|
|
| Dec 26, 2009 at 8:53 | vote | accept | Harry Gindi | ||
| Dec 26, 2009 at 10:07 | |||||
| Dec 26, 2009 at 5:48 | answer | added | Charles Rezk | timeline score: 12 | |
| Dec 26, 2009 at 4:45 | comment | added | Harry Gindi | Precisely why I'm asking on math overflow. | |
| Dec 26, 2009 at 4:19 | comment | added | Reid Barton | Mostly it means that it wasn't known to hold by the person who wrote that sentence. I am sure experts in the field will tell you the statement is known to be true, even if (as is possible) the proof is not written down anywhere. | |
| Dec 26, 2009 at 3:36 | history | edited | Harry Gindi | CC BY-SA 2.5 |
added 75 characters in body
|
| Dec 26, 2009 at 3:30 | history | edited | Harry Gindi | CC BY-SA 2.5 |
added 4 characters in body
|
| Dec 25, 2009 at 20:01 | comment | added | Harry Gindi | Well, has any work been done on generalizing the whole thing? Also, the nLab page says, "It is not clear if it is known if the full (∞,1)-statement obtained this way does hold." What does that even mean? | |
| Dec 25, 2009 at 18:59 | history | edited | Harry Gindi | CC BY-SA 2.5 |
Changed title
|
| Dec 25, 2009 at 17:05 | comment | added | Mike Shulman | I assumed that the nlab page was just saying that no one seems to have yet proven the entire Yoneda lemma, at least in the context of quasicategories which it seems to be assuming. I also can't imagine that it would actually fail. | |
| Dec 25, 2009 at 14:33 | comment | added | Charles Rezk | I'm unaware of any such problem with the (infty,1)-category Yoneda lemma. I can't figure out what the nLab page is refering to. | |
| Dec 25, 2009 at 8:21 | history | asked | Harry Gindi | CC BY-SA 2.5 |