Timeline for Dependent sum/product and the base-change functor adjunctions
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 12, 2023 at 16:12 | vote | accept | Bartosz Milewski | ||
| May 11, 2023 at 0:33 | history | became hot network question | |||
| May 10, 2023 at 21:38 | answer | added | Andrej Bauer | timeline score: 12 | |
| May 10, 2023 at 12:55 | answer | added | varkor | timeline score: 7 | |
| May 10, 2023 at 12:02 | history | asked | Bartosz Milewski | CC BY-SA 4.0 |