Elementary quotient completion
From MaRDI portal
Publication:2855642
zbMath1288.03048arXiv1206.0162MaRDI QIDQ2855642
Maria Emilia Maietti, Giuseppe Rosolini
Publication date: 25 October 2013
Full work available at URL: https://arxiv.org/abs/1206.0162
Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Intuitionistic mathematics (03F55)
Related Items
Homotopies in Grothendieck fibrations, Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness, From type theory to setoids and back, A characterisation of elementary fibrations, Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice, Unnamed Item, Doctrines, modalities and comonads, On a generalization of equilogical spaces, Unnamed Item, Elementary fibrations of enriched groupoids, Equilogical spaces and algebras for a double-power monad, Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator, The compatibility of the minimalist foundation with homotopy type theory, A characterization of generalized existential completions, Numerical existence property and categories with an internal copy, Flatness, weakly lex colimits, and free exact completions, Unnamed Item, Categories of partial equivalence relations as localizations, A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus, Elementary doctrines as coalgebras, On Choice Rules in Dependent Type Theory, EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS, Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies, A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS, Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice, A co-free construction for elementary doctrines, Unifying exact completions, The existential completion, A categorical reading of the numerical existence property in constructive foundations
