Timeline for Is there a characterization of the topos of finite sets in the internal language?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 27, 2014 at 20:20 | vote | accept | CommunityBot | ||
| Nov 30, 2013 at 13:02 | answer | added | Toby Bartels | timeline score: 3 | |
| Nov 30, 2013 at 12:28 | comment | added | Zhen Lin | You could form an internal category whose externalisation is equivalent to the category of finite sets. Just do exactly what you would do in ordinary mathematics. | |
| Nov 30, 2013 at 12:08 | history | asked | user2529 | CC BY-SA 3.0 |