The existential completion

zbMath1446.18007arXiv2108.03416MaRDI QIDQ5129224

Davide Trotta

Publication date: 26 October 2020

Full work available at URL: https://arxiv.org/abs/2108.03416

zbMATH Keywords

triposdoctrinesexistential completionproperty-like monad

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (4)

Dialectica logical principles ⋮ Dialectica principles via Gödel doctrines ⋮ A characterization of generalized existential completions ⋮ Categories of partial equivalence relations as localizations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quotient completion for the foundation of constructive mathematics
• Pseudo-distributive laws and axiomatics for variable binding
• Two-dimensional monad theory
• Regular and exact completions
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Relating categorical semantics for intuitionistic linear logic
• Some free constructions in realizability and proof theory
• Unifying exact completions
• Factorization systems and fibrations
• Elementary quotient completion
• Tripos theory in retrospect
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• A 2-Categories Companion
• Tripos theory
• Adjointness in Foundations
• A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics

This page was built for publication: The existential completion