Timeline for The category of hypergraphs as a topos
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 4, 2012 at 18:23 | comment | added | James Cranch | +1, for being correct. | |
| Apr 4, 2012 at 17:36 | comment | added | Mike Shulman | It seems to me that your spans must also be required to be jointly monic (in addition to the left leg being finite-to-one). That looks like the sort of property that usually takes you from a topos into a quasitopos. | |
| Apr 4, 2012 at 16:23 | history | answered | James Cranch | CC BY-SA 3.0 |