Relating quotient completions via categorical logic

DOI10.1515/9781501502620-014zbMATH Open1433.03164OpenAlexW2504055001MaRDI QIDQ5221857FDOQ5221857

Authors: Maria Emilia Maietti, Giuseppe Rosolini 

Publication date: 3 April 2020

Published in: Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11567/939569

Recommendations

• Elementary quotient completion
• The existential completion
• Unifying exact completions
• A characterization of generalized existential completions
• Elementary doctrines as coalgebras

zbMATH Keywords

universal constructionquotient completionsplit fibration

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Intuitionistic mathematics (03F55) Type theory (03B38)

Cited In (11)

• On a generalization of equilogical spaces
• The existential completion
• Quotient completion for the foundation of constructive mathematics
• A characterization of generalized existential completions
• Elementary doctrines as coalgebras
• Quotients and extensionality in relational doctrines
• W-types in setoids
• Elementary quotient completion
• Exact completion and constructive theories of sets
• A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
• The compatibility of the minimalist foundation with homotopy type theory

This page was built for publication: Relating quotient completions via categorical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221857)