Results 11 to 20 of about 700 (252)
Topos models for physics and topos theory [PDF]
Journal of Mathematical Physics, 2014 What is the role of topos theory in the topos models for quantum theory as used by Isham, Butterfield, Döring, Heunen, Landsman, Spitters, and others? In other words, what is the interplay between physical motivation for the models and the mathematical framework used in these models?
exaly +10 more sources
Topos Quantum Theory with Short Posets [PDF]
Order, 2020 14 ...
John Harding, Chris Heunen
openalex +6 more sources
Relative topos theory via stacks [PDF]
, 2021 We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of ${\mathcal{C}}$-indexed categories.
Olivia Caramello, Riccardo Zanfa
openalex +3 more sources
Localization theory in an $\infty$-topos [PDF]
, 2019 We develop the theory of reflective subfibrations on an $\infty$-topos $\mathcal{E}$. A reflective subfibration $L_\bullet$ on $\mathcal{E}$ is a pullback-compatible assignment of a reflective subcategory $\mathcal{D}_X\subseteq \mathcal{E}{/X}$, for every $X \in \mathcal{E}$.
Marco Vergura
openalex +3 more sources
Algebraic set theory and the effective topos [PDF]
Journal of Symbolic Logic, 2005 AbstractFollowing the book Algebraic Set Theory from André Joyal and Ieke Moerdijk [8], we give a characterization of the initial ZF-algebra, for Heyting pretoposes equipped with a class of small maps. Then, an application is considered (the effective topos) to show how to recover an already known model (McCarty [9]).
Kouwenhoven-Gentil, Claire +1 more
openaire +6 more sources
Modality and Contextuality in Topos Quantum Theory [PDF]
Studia Logica, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Benjamin Eva
openaire +3 more sources
Design creativity for transitions: C-K/Topos, an advanced design theory for creative preservation
Design ScienceIn recent decades, design creativity and design theory have made great progress in terms of understanding and supporting the logic of engineering design for breakthrough and disruptive innovation. Design for transition relies on these new methods, but it
Pascal Le Masson +6 more
doaj +2 more sources
Localization Theory in an Infinity Topos [PDF]
, 2019 We develop the theory of reflective subfibrations on an ∞-topos E. A reflective subfibration L on E is a pullback-compatible assignment of a reflective subcategory D_X ⊆ E/X with associated localization functor L_X, for every X in E. Reflective subfibrations abound in homotopy theory, albeit often disguised, e.g., as stable factorization systems.
Marco Vergura
openalex +3 more sources
The Sierpinski Object in the Scott Realizability Topos [PDF]
Logical Methods in Computer Science, 2020 We study the Sierpinski object $\Sigma$ in the realizability topos based on Scott's graph model of the $\lambda$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $\Sigma ^N$, where $N$ is the natural ...
Tom de Jong, Jaap van Oosten
doaj +1 more source
Higher Topos Theory in Physics
A brief exposition of the point of higher topos theory in (mathematical) physics, commissioned for the Encyclopedia of Mathematical Physics 2nd ed.
openaire +4 more sources