The logical quantization of algebraic groups

DOI10.1007/BF00671015MaRDI QIDQ1897598zbMATH OpenFDO

Publication date 22 September 1996

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00671015

algebraic groups Boolean locale Boolean topos theory differential geometry empirical set logical quantization manual orthogonal category sheaves smooth topoi

Mathematics Subject Classification ID

Quantum logic (03G12) Categorical logic, topoi (03G30) Algebraic groups (14L99) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Review text

These two papers [see also the following one] are a continuation of the work of the author, begun in the papers ``Manuals in orthogonal categories [ibid. 34, No. 2, 211-228 (1995; Zbl 0830.18004)] and ``Empirical sets [ibid. 34, No. 2, 229-252 (1995; Zbl 0830.18005)]. The author has a program to develop mathematics in a particular categorical setting, which can be viewed as generalizing Boolean topos theory. The starting points are the notions of a manual of Boolean locales and that of an orthogonal category, as well as the concomitant notion of empirical set, which involves the assignment to each Boolean locale in the manual a sheaf over it. Using this general framework, the author looks at algebraic groups and then differential geometry in the spirit of smooth topoi. The intent is that this approach presents the ``quantized or ``Booleanized versions. It would probably be useful for the reader to first be exposed to the earlier papers where more of the technical details regarding the underpinnings of this theory can be found.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: The logical quantization of algebraic groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1897598)