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)
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
Cites work
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 1796614 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 3370546 (Why is no real title available?)
- A co-free construction for elementary doctrines
- Adjointness in Foundations
- Categorical logic and type theory
- Classification theory and the number of non-isomorphic models.
- Elementary quotient completion
- Elements of generalized ultrametric domain theory
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Handbook of logic in computer science. Vol. 5: Logical and algebraic methods
- Introduction to extensive and distributive categories
- Model theory vs. categorical logic: two approaches to pretopos completion (a.k.a. \(T^{\mathrm{eq}}\))
- Monads for which structures are adjoint to units
- Quotient completion for the foundation of constructive mathematics
- Regular and exact completions
- Relating quotient completions via categorical logic
- Some free constructions in realizability and proof theory
- Tripos theory in retrospect
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
- Une théorie de Galois imaginaire
- Unifying exact completions
Cited in
(16)- A characterisation of elementary fibrations
- The existential completion
- Elementary fibrations of enriched groupoids
- A logic for categories
- A characterization of generalized existential completions
- Quotients, pure existential completions and arithmetic universes
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
- Quotients and extensionality in relational doctrines
- Relating quotient completions via categorical logic
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
- A co-free construction for elementary doctrines
- Adding a constant and an axiom to a doctrine
- Elementary quotient completion
- 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)
