De Morgan's law in toposes I
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |