Relating Quotient Completions via Categorical Logic

DOI10.1515/9781501502620-014zbMath1433.03164OpenAlexW2504055001MaRDI QIDQ5221857

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

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

Related Items

On a generalization of equilogical spaces, The compatibility of the minimalist foundation with homotopy type theory, A characterization of generalized existential completions, Elementary doctrines as coalgebras, EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS, A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS, W-types in setoids