A SHEAF THEORETIC APPROACH TO MEASURE THEORY (2006)

by Matthew Jackson
Citations:5 - 0 self

Documents Related by Co-Citation

11 A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory – A. Döring, C. J. Isham
6 A topos foundation for theories of physics: IV. Categories of systems. arXiv:quant-ph/0703.066 – A Döring, C J Isham - 2008
71 A topos perspective on the Kochen-Specker Theorem: I. Quantum States . . . – C. J. Isham, J. Butterfield - 1998
17 Kochen-Specker theorem for von Neumann algebras – Andreas Döring - 2005
3 On a canonical lattice structure on the effect algebra of a von Neumann algebra. arXiv:math-ph/0410.018v2 – H F de Groote - 2004
3 A topos foundations for theories of physics: III. The representation of physical quantities with arrows δ 0 – A Döring, C J Isham - 2007
8 A topos foundation for theories of physics: I. Formal languages for physics – A. Döring, C. J. Isham - 2007
1 Statistical View on the Theory of Evidence – R Hummel, M Landy - 1988
1 Categorical Logic as a Foundation for Reasoning Under Uncertainty and as a Guide to – R L Wojtowicz - 2005
4 The category of disintegrations. Cahiers de Topologie et Geometrie Differentielle Categoriques – M Wendt - 1994
64 A computationally efficient approximation of Dempster-Shafer theory – Frans Voorbraak - 1988
16 On transforming belief function models to probability models – B Cobb, P Shenoy - 2003
108 S: Categories for the working mathematician. 2nd edition – Mac Lane - 1998
2249 A mathematical theory of evidence – G Shafer - 1976
2 Observables as functions: Antonymous functions – A Döring - 2005
1 Daseinisation and functions on dual ideals – A Döring - 2007
60 Sheaves in Geometry and Logic: A First Introduction to Topos Theory – S MacLane, I Moerdijk - 1992
4 A Topos Perspective on State-Vector Reduction – C. J. Isham
3 An Introduction to Philosophical Logic – A C Grayling - 1990