Year: 2025
Type: preprint
Abstract: 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.
Source: arXiv (Cornell University)
Authors: Rosický, Jiří, Tendas, Giacomo
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7083296450
Cites:
Cited by:
Related to: