scientific article; zbMATH DE number 2172973
From MaRDI portal
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.
categorical logicpredicativityalgebraic set theorydependent type theoryideal completionpretopossmall maps
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
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
