Results 1  10
of
12
Does category theory provide a framework for mathematical structuralism?
 PHILOSOPHIA MATHEMATICA
, 2003
"... Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis à vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves ..."
Abstract

Cited by 17 (3 self)
 Add to MetaCart
Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis à vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell’s “manytopoi” view and modalstructuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be carried out relative to such domains; puzzles about “large categories ” and “proper classes ” are handled in a
Quantum Observables Algebras and Abstract Differential Geometry, preprint
, 2004
"... We construct a sheaf theoretical representation of Quantum Observables Algebras over a base Category equipped with a Grothendieck topology, consisting of epimorphic families of commutative Observables Algebras, playing the role of local arithmetics in measurement situations. This construction makes ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We construct a sheaf theoretical representation of Quantum Observables Algebras over a base Category equipped with a Grothendieck topology, consisting of epimorphic families of commutative Observables Algebras, playing the role of local arithmetics in measurement situations. This construction makes possible the application of the methodology of Abstract Differential Geometry in a Category theoretical environment, and subsequently, the extension of the mechanism of differentials in the Quantum regime. 1
Categorical Foundations of Quantum Logics and Their Truth Values Structures
, 2004
"... We introduce a foundational sheaf theoretical scheme for the comprehension of quantum event structures, in terms of localization systems consisting of Boolean coordinatization coverings induced by measurement. The scheme is based on the existence of a categorical adjunction between presheaves of Boo ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We introduce a foundational sheaf theoretical scheme for the comprehension of quantum event structures, in terms of localization systems consisting of Boolean coordinatization coverings induced by measurement. The scheme is based on the existence of a categorical adjunction between presheaves of Boolean event algebras and Quantum event algebras. On the basis of this adjoint correspondence we prove the existence of an object of truth values in the category of quantum logics, characterized as subobject classifier. This classifying object plays the equivalent role that the twovalued Boolean truth values object plays in classical event structures. We construct the object of quantum truth values explicitly and argue that it constitutes the appropriate choice for the valuation of propositions describing the behavior of quantum systems.
TOPOSTHEORETIC RELATIVIZATION OF PHYSICAL REPRESENTABILITY AND QUANTUM GRAVITY
, 2006
"... In the current debate referring to the construction of a tenable background independent theory of Quantum Gravity we introduce the notion of topostheoretic relativization of physical representability and demonstrate its relevance concerning the merging of General Relativity and Quantum Theory. For ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
In the current debate referring to the construction of a tenable background independent theory of Quantum Gravity we introduce the notion of topostheoretic relativization of physical representability and demonstrate its relevance concerning the merging of General Relativity and Quantum Theory. For this purpose we show explicitly that the dynamical mechanism of physical fields can be constructed by purely algebraic means, in terms of connection inducing functors and their associated curvatures, independently of any background substratum. The application of this mechanism in General Relativity is constrained by the absolute representability of the theory in the field of real numbers. The relativization of physical representability inside operationally selected topoi of sheaves forces an appropriate interpretation of the mechanism of connection functors in terms of a generalized differential geometric dynamics of the corresponding fields in the regime of these topoi. In particular, the relativization inside the topos of sheaves over commutative algebraic contexts makes possible the formulation of quantum gravitational dynamics by suitably adapting the functorial mechanism of connections inside that topos.
Article Unconventional Algorithms: Complementarity of Axiomatics and Construction
, 2012
"... entropy ..."
(Show Context)
Russell’s Absolutism vs.(?)
"... Along with Frege, Russell maintained an absolutist stance regarding the subject matter of mathematics, revealed rather than imposed, or proposed, by logical analysis. The Fregean definition of cardinal number, for example, is viewed as (essentially) correct, not merely adequate for mathematics. And ..."
Abstract
 Add to MetaCart
(Show Context)
Along with Frege, Russell maintained an absolutist stance regarding the subject matter of mathematics, revealed rather than imposed, or proposed, by logical analysis. The Fregean definition of cardinal number, for example, is viewed as (essentially) correct, not merely adequate for mathematics. And Dedekind’s “structuralist” views come in for criticism in the Principles. But, on reflection, Russell also flirted with views very close to a (different) version of structuralism. Main varieties of modern structuralism and their challenges are reviewed, taking account of Russell’s insights. Problems of absolutism plague some versions, and, interestingly, Russell’s critique of Dedekind can be extended to one of them, ante rem structuralism. This leaves modalstructuralism and a category theoretic approach as remaining nonabsolutist
Complex Systems from the Perspective of Category Theory: II. Covering Systems and Sheaves
"... Using the concept of adjunctive correspondence, for the comprehension of the structure of a complex system, developed in Part I, we introduce the notion of covering systems consisting of partially or locally defined adequately understood objects. This notion incorporates the necessary and sufficie ..."
Abstract
 Add to MetaCart
Using the concept of adjunctive correspondence, for the comprehension of the structure of a complex system, developed in Part I, we introduce the notion of covering systems consisting of partially or locally defined adequately understood objects. This notion incorporates the necessary and sufficient conditions for a sheaf theoretical representation of the informational content included in the structure of a complex system in terms of localization systems. Furthermore, it accommodates a formulation of an invariance property of information communication concerning the analysis of a complex system.