Search results

...ematics)|sheaf]] of sets on the [[site (mathematics)|site]] of [[profinite set]]s, with the [[Grothendieck topology]] given by finite, jointly surjective ...derline X</math>, which to any profinite set <math>S</math> associates the set of continuous maps <math>S\to X</math>. If <math>X</math> is a topological ...

...ski–Grothendieck set theory]], where an infinite hierarchy of Grothendieck universes is postulated. ...t theory|ZFC]]/[[von Neumann–Bernays–Gödel set theory|NBG]]/[[Morse–Kelley set theory|MK]]) it is considered convenient<ref name=HS2/><ref name=CT/> ...

...d [[higher category theory]]; the development of mathematics within a type-theoretic [[foundation of mathematics|foundation]] (including both previously existin ...LeFanu |last1=Lumsdaine |first2=Michael A. |last2=Warren |title=The local universes model: an overlooked coherence construction for dependent type theories |jo ...

{{wiktionary|Appendix:Glossary of set theory}} This is a glossary of terms and definitions related to the topic of [[set theory]]. ...