scientific article; zbMATH DE number 2172973

zbMath1072.18004MaRDI QIDQ4680361

Michael A. Warren, Steven Awodey

Publication date: 1 June 2005

Full work available at URL: https://eudml.org/doc/125101

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

categorical logicpredicativityalgebraic set theorydependent type theoryideal completionpretopossmall maps

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of sets, characterizations (18B05)

Related Items (7)

Coalgebras in a category of classes ⋮ Relating first-order set theories, toposes and categories of classes ⋮ Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ Comparing material and structural set theories ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ Aspects of predicative algebraic set theory. I: Exact completion

This page was built for publication: