Timeline for internal version of a flat functor?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 20, 2010 at 21:59 | vote | accept | David Roberts♦ | ||
| Aug 20, 2010 at 15:42 | comment | added | Peter LeFanu Lumsdaine | Just to clarify, the Topos Theory reference here is to Johnstone's 1977 book. Iirc it also has a couple of good exercises on this topic. | |
| Aug 20, 2010 at 12:00 | history | answered | Finn Lawler | CC BY-SA 2.5 |