Timeline for Examples of Heyting categories that are not toposes?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 20 at 17:29 | answer | added | Rodrigo Nicolau Almeida | timeline score: 2 | |
| Nov 8, 2020 at 7:36 | comment | added | Mike Shulman | A similar sort of example is the category of classes (relative to some model of set theory). | |
| May 24, 2020 at 22:33 | comment | added | Andreas Blass | In the category of sets, take the full subcategory whose objects are the countable sets. This looks to me like a Heyting category, also satisfying classical logic. | |
| May 24, 2020 at 16:35 | history | edited | rosensymmetri | CC BY-SA 4.0 |
added 177 characters in body
|
| May 24, 2020 at 16:32 | comment | added | rosensymmetri | Yes, that's true, I had something more concrete in mind though, that I could show someone who is less familiar with categorical logic. | |
| May 24, 2020 at 16:31 | comment | added | godelian | Any first-order (intuitionistic) theory gives rise to a small Heyting category: its syntactic category. See e.g. Johnstone | |
| May 24, 2020 at 16:25 | review | First posts | |||
| May 24, 2020 at 20:22 | |||||
| May 24, 2020 at 16:24 | history | asked | rosensymmetri | CC BY-SA 4.0 |