Timeline for Is the logic of the ($\infty$-?)topos of simplicial sets "contradictory up to homotopy"?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 16 at 18:29 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
fixed misleading typo
|
| Oct 14 at 5:50 | vote | accept | მამუკა ჯიბლაძე | ||
| Oct 12 at 16:10 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
added explicit mention of homotopy pullbacks
|
| Oct 12 at 16:02 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |