Timeline for Why isn't pullback-stability defined for individual colimits but for colimits with the same shape?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 18, 2023 at 3:34 | comment | added | Kevin Carlson | I’m surprised that such a high quality answer was available to such a seemingly minor question. Very nice! | |
| Jul 17, 2023 at 22:24 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
phrasing improvement
|
| Jul 17, 2023 at 17:24 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
minor edits: typos, formatting, phrasing
|
| Jul 17, 2023 at 17:13 | vote | accept | Linuxmetel | ||
| Jul 17, 2023 at 15:51 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
added note connecting last version of definition back to other forms
|
| Jul 17, 2023 at 15:46 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |