Timeline for Need help understanding a topos theory proof (any topos generated by subobjects of 1 in whose subobject lattices are complete and Boolean satisfies AC)
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 12, 2010 at 16:14 | answer | added | Peter LeFanu Lumsdaine | timeline score: 2 | |
| Sep 12, 2010 at 16:03 | answer | added | Charles Rezk | timeline score: 4 | |
| Sep 12, 2010 at 14:12 | history | asked | Phil Wild | CC BY-SA 2.5 |