Elementary doctrines as coalgebras
DOI10.1016/J.JPAA.2020.106445zbMATH Open1469.18008OpenAlexW3029601918MaRDI QIDQ2220195FDOQ2220195
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
Recommendations
- The existential completion
- Relating quotient completions via categorical logic
- scientific article; zbMATH DE number 7774236
- Elementary quotient completion
- A characterization of generalized existential completions
- Unifying exact completions
- Doctrines, modalities and comonads
- A co-free construction for elementary doctrines
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
- Intensional Equality in Categories With Structure and Coherence Problems
Classification theory, stability, and related concepts in model theory (03C45) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30) Eilenberg-Moore and Kleisli constructions for monads (18C20) Categorical semantics of formal languages (18C50)
Cites Work
- Title not available (Why is that?)
- Classification theory and the number of non-isomorphic models.
- Categorical logic and type theory
- Regular and exact completions
- Handbook of logic in computer science. Vol. 5: Logical and algebraic methods
- Elementary quotient completion
- Tripos theory in retrospect
- Quotient completion for the foundation of constructive mathematics
- Title not available (Why is that?)
- Monads for which structures are adjoint to units
- Elements of generalized ultrametric domain theory
- Introduction to extensive and distributive categories
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Title not available (Why is that?)
- Some free constructions in realizability and proof theory
- Adjointness in Foundations
- Title not available (Why is that?)
- Une théorie de Galois imaginaire
- Title not available (Why is that?)
- Unifying exact completions
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
- A co-free construction for elementary doctrines
- Relating Quotient Completions via Categorical Logic
Cited In (10)
- A characterisation of elementary fibrations
- Elementary fibrations of enriched groupoids
- A characterization of generalized existential completions
- Quotients, pure existential completions and arithmetic universes
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
- Adding a constant and an axiom to a doctrine
- Doctrines, modalities and comonads
- Logical foundations of quantitative equality
- Categorical interpretations of cryptomorphisms and maps arising from matroidal and combinatorial contexts
This page was built for publication: Elementary doctrines as coalgebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2220195)
