Timeline for What is the analogue for the category of presheafs for complement toposes?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 26, 2019 at 21:05 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 4 characters in body
|
| Dec 26, 2019 at 21:01 | answer | added | Noah Schweber | timeline score: 6 | |
| Jun 30, 2013 at 1:06 | comment | added | Todd Trimble | @MoziburUllah : Is SEP the Stanford Encyclopedia of Philosophy? Could you provide a link to the specific article? | |
| Jun 29, 2013 at 22:51 | answer | added | Michal R. Przybylek | timeline score: 2 | |
| Jun 23, 2013 at 0:23 | comment | added | Mozibur Ullah | @Przyblek: It is quoted in the SEP, so it ought to have a reasonably serious content. | |
| Jun 23, 2013 at 0:22 | comment | added | Mozibur Ullah | @Roberts: that is what I would have guessed, but then I found that paper. | |
| Jun 22, 2013 at 0:42 | comment | added | David Roberts♦ | I would have guessed categories of sheaves on the poset of closed sets of a space, but I haven't checked. | |
| Jun 21, 2013 at 21:16 | comment | added | Michal R. Przybylek | I meant --- "interested". | |
| Jun 21, 2013 at 8:25 | comment | added | Michal R. Przybylek | What you have quoted does not look like a serious paper. However, if you are interesting in toposes with co-Heyting internal logic (thus, bi-heyting internal logic) then the obvious examples are presheaf toposes. In fact, geometrically, Grothendieck toposes with co-Heyting internal logic look similar to presheaf toposes --- there is a simple characterisation of such toposes due to (if I recall correctly; if not --- apologise) due to Reyes and Zolfaghari. Perhaps the relevant paper is "Bi-Heyting algebras, toposes and modalities" though I do not have access to it at the moment. | |
| Jun 21, 2013 at 7:11 | history | asked | Mozibur Ullah | CC BY-SA 3.0 |