De Morgan's law in toposes I
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910173492150272 |
|---|---|
| author | Caramello, Olivia Chamoun, Yorgo |
| author_facet | Caramello, Olivia Chamoun, Yorgo |
| contents | We study toposes satisfying De Morgan's law, in particular we give characterizations of geometric theories whose classifying topos is De Morgan, clarifying the link with the amalgamation property of the category of models of such theory. We then give several ways of turning a topos into a De Morgan topos. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_01869 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | De Morgan's law in toposes I Caramello, Olivia Chamoun, Yorgo Category Theory Logic We study toposes satisfying De Morgan's law, in particular we give characterizations of geometric theories whose classifying topos is De Morgan, clarifying the link with the amalgamation property of the category of models of such theory. We then give several ways of turning a topos into a De Morgan topos. |
| title | De Morgan's law in toposes I |
| topic | Category Theory Logic |
| url | https://arxiv.org/abs/2507.01869 |