Timeline for The topos of a graph
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 17, 2017 at 12:42 | history | edited | Simon Henry | CC BY-SA 3.0 |
added 295 characters in body
|
| Nov 22, 2016 at 16:44 | comment | added | Benjamin Steinberg | The equivalence between the classifying topos of the graph inverse semigroup and presheaves on the free category on the graph is well known. So in principle there is a topology on the free category which gives sheaves on your groupoid but I never saw it written out. It is quite nice. | |
| Nov 22, 2016 at 16:02 | history | asked | Simon Henry | CC BY-SA 3.0 |