Timeline for Enriched vs ordinary filtered colimits
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 20, 2021 at 6:46 | history | edited | Giacomo | CC BY-SA 4.0 |
deleted 4 characters in body
|
| Jul 20, 2021 at 3:12 | history | answered | Giacomo | CC BY-SA 4.0 |