Elementary doctrines as coalgebras
From MaRDI portal
Publication:2220195
DOI10.1016/j.jpaa.2020.106445zbMath1469.18008OpenAlexW3029601918MaRDI QIDQ2220195
Fabio Pasquali, Giuseppe Rosolini, Jacopo Emmenegger
Publication date: 22 January 2021
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/101072206/EmmeneggerJ2020Elementary.pdf
Categorical logic, topoi (03G30) Classical first-order logic (03B10) Categorical semantics of formal languages (18C50) Classification theory, stability, and related concepts in model theory (03C45) Subsystems of classical logic (including intuitionistic logic) (03B20) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
A characterisation of elementary fibrations ⋮ Doctrines, modalities and comonads ⋮ Elementary fibrations of enriched groupoids ⋮ A characterization of generalized existential completions ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quotient completion for the foundation of constructive mathematics
- Elements of generalized ultrametric domain theory
- Classification theory and the number of non-isomorphic models.
- Introduction to extensive and distributive categories
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Categorical logic and type theory
- Regular and exact completions
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
- Some free constructions in realizability and proof theory
- Monads for which structures are adjoint to units
- A co-free construction for elementary doctrines
- Unifying exact completions
- Elementary quotient completion
- Tripos theory in retrospect
- Une théorie de Galois imaginaire
- Adjointness in Foundations
- Relating Quotient Completions via Categorical Logic