Timeline for The idempotence of Mike Shulman's "Stack semantics"
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 22, 2023 at 17:12 | comment | added | Mike Shulman | Yes, that's right. | |
| Mar 22, 2023 at 7:49 | vote | accept | Nico | ||
| Mar 22, 2023 at 7:49 | comment | added | Nico | thank you! To remove the $p^\ast$s I would have to additionally quantify over pullback diagrams in $\mathscr S/U$, right? | |
| Mar 22, 2023 at 4:22 | history | answered | Mike Shulman | CC BY-SA 4.0 |