Timeline for Every topos is a regular category
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2011 at 21:40 | comment | added | godelian | A more recent reference (1992) that can also help is "Sheaves in geometry and logic" by MacLane and Moerdijk. They prove these facts both in case of Grothendieck topoi and also in the general setting using the axioms of topoi. | |
| Feb 18, 2011 at 20:29 | history | answered | Andreas Blass | CC BY-SA 2.5 |