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

quotient completionsplit fibrationuniversal construction

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(12)

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

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)