Timeline for Has the Isbell–Freyd criterion ever been used to check that a category is concretisable?
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 5, 2019 at 15:32 | history | edited | Martti Karvonen | CC BY-SA 4.0 |
added 3 characters in body
|
Mar 5, 2019 at 10:35 | vote | accept | Peter LeFanu Lumsdaine | ||
Mar 4, 2019 at 19:09 | history | edited | Martti Karvonen | CC BY-SA 4.0 |
fixed a typo
|
Mar 4, 2019 at 17:04 | comment | added | Tim Campion | Cool example, and welcome to MO, Martti! | |
Mar 4, 2019 at 17:00 | review | First posts | |||
Mar 4, 2019 at 17:51 | |||||
Mar 4, 2019 at 16:57 | history | answered | Martti Karvonen | CC BY-SA 4.0 |