Relating quotient completions via categorical logic

DOI10.1515/9781501502620-014MaRDI QIDQ5221857zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

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)