Results 1 to 10 of about 31,010 (176)

The internal description of a causal set: What the universe looks like from the inside [PDF]

, 1999
We describe an algebraic way to code the causal information of a discrete spacetime. The causal set C is transformed to a description in terms of the causal pasts of the events in C.
Markopoulou, Fotini
core   +2 more sources

A Topos Foundation for Theories of Physics: I. Formal Languages for Physics [PDF]

, 2007
This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time ...
A. Döring, Bell J. L., Butterfield J., C. J. Isham, Dowker F., Goldblatt R., Heisenberg W., Isham C. J., Johnstone P. T., Kochen S., Kock A., Lambek J., MacLane S., Popper K., Smolin L., Sorkin R. D.   +15 more
core   +3 more sources

Topos Semantics for Higher-Order Modal Logic [PDF]

, 2014
We define the notion of a model of higher-order modal logic in an arbitrary elementary topos $\mathcal{E}$. In contrast to the well-known interpretation of (non-modal) higher-order logic, the type of propositions is not interpreted by the subobject ...
Awodey, Steve, Kishida, Kohei, Kotzsch, Hans-Christoph   +2 more
core   +1 more source

Finitary Topos for Locally Finite, Causal and Quantal Vacuum Einstein Gravity

, 2005
Previous work on applications of Abstract Differential Geometry (ADG) to discrete Lorentzian quantum gravity is brought to its categorical climax by organizing the curved finitary spacetime sheaves of quantum causal sets involved therein, on which a ...
Raptis, Ioannis
core   +4 more sources

Topos theory and `neo-realist' quantum theory

, 2007
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects.
A. Döring, B. Banaschewski, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, F. W. Lawvere, G. Birkhoff, J. L. Bell, J. Lambek, M. H. Stone, M. P. Olson, P. T. Johnstone, P. T. Johnstone, R. Goldblatt, R. V. Kadison, S. Kochen, S. M. Lane, S. M. Lane   +20 more
core   +2 more sources

Compactly Generated Stacks: A Cartesian Closed Theory of Topological Stacks

, 2012
A convenient bicategory of topological stacks is constructed which is both complete and Cartesian closed. This bicategory, called the bicategory of compactly generated stacks, is the analogue of classical topological stacks, but for a different ...
Carchedi, David
core   +1 more source

A Topos Perspective on State-Vector Reduction

, 2005
A preliminary investigation is made of possible applications in quantum theory of the topos formed by the collection of all $M$-sets, where $M$ is a monoid. Earlier results on topos aspects of quantum theory can be rederived in this way.
A. Döring, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, E. Beltrametti, J. Butterfield, J. Butterfield, J. Butterfield, J. C. T. Pool, J. Hamilton, J. L. Bell, R. B. Griffiths, R. Goldblatt, R. Omnès, S. Kochen, S. MacLane   +18 more
core   +1 more source

The Overconvergent Site I. Coefficients

, 2006
We define and study the overconvergent site of an algebraic variety, the sheaf of overconvergent functions on this site and show that the modules of finite presentations correspond to Berthelot's overconvergent isocrystals.
Stum, Bernard Le
core   +2 more sources

Smart Glasses with Augmented Reality Workflow; A Modern Tool for Triage in Mass Casualty Incidents. [PDF]

Arch Acad Emerg Med
Apiratwarakul K, Cheung LW, Pearkao C, Ienghong K.   +3 more
europepmc   +1 more source

Vegetation restoration increases soil aggregate stability and aggregate-associated black carbon content in a karst rocky desertification area in southwestern Guangxi. [PDF]

Front Plant Sci
Chu J, Huang K, Teng Q, Shen Y, Sun Y, Zhang D, Xu G, Ding T, Huang L, Tan Z, Luo Y.   +10 more
europepmc   +1 more source