Enriched positive logic
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_ | 1866909804385009664 |
|---|---|
| author | Rosický, Jiří Tendas, Giacomo |
| author_facet | Rosický, Jiří Tendas, Giacomo |
| contents | Building on our previous work on enriched regular logic, we introduce an enriched version of positive logic and relate it to enriched cone-injectivity classes and enriched accessible categories. To do this, we need a factorization system on the base of enrichment in order to interpret existential quantification and disjunctions. We will also show how to treat unique existence in enriched logic, and how to relate it to local presentability. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_20019 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Enriched positive logic Rosický, Jiří Tendas, Giacomo Category Theory 18D20, 18C10, 18C35 Building on our previous work on enriched regular logic, we introduce an enriched version of positive logic and relate it to enriched cone-injectivity classes and enriched accessible categories. To do this, we need a factorization system on the base of enrichment in order to interpret existential quantification and disjunctions. We will also show how to treat unique existence in enriched logic, and how to relate it to local presentability. |
| title | Enriched positive logic |
| topic | Category Theory 18D20, 18C10, 18C35 |
| url | https://arxiv.org/abs/2509.20019 |