Timeline for Can we define geometric morphisms (between ETCS categories) elementarily?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Oct 20, 2010 at 9:11 | vote | accept | David Roberts♦ | ||
| Oct 20, 2010 at 1:37 | answer | added | Peter LeFanu Lumsdaine | timeline score: 6 | |
| Oct 20, 2010 at 0:05 | history | asked | David Roberts♦ | CC BY-SA 2.5 |