Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"topos theory"”.
-
A theory of elementary higher toposes
… work is to define and study an elementary higher topos. We will achieve this by going through several steps. First we review complete Segal spaces. Then we study various fibrations of complete Segal spaces and use that to define representable Cartesian fibrations. Next we use representable …
-
Tripos models of Internal Set Theory
… make sense of models of E. Nelson’s Internal Set Theory (and hence of nonstandard analysis) in elementary toposes by exploiting the technology of tripos theory and Lawvere’s hyperdoctrines. A new doctrinal account of nonstandard phenomena is described, which avoids a few key restrictions in …
-
Homogeneous models and their toposes of supported sets
… studies homogeneous models by looking at their topos of finitely supported sets. Of various well-known toposes, such as cubical sets and simplicial sets, it is shown that they can be presented as a topos of this kind. It is argued that these examples can be understood as coming from a …
-
Internal Yoneda Ext Groups, Central H-spaces, and Banded Types
We develop topics in synthetic homotopy theory using the language of homotopy type theory, and study their semantic counterparts in an ∞-topos. Specifically, we study Grothendieck categories and Yoneda Ext groups in this setting, as well as a novel class of central H-spaces along with their …