Abstract
In a previous paper we introduced a highly abstract framework within which the theory of manuals initiated by Foulis and Randall is to be developed. The framework enabled us in a subsequent paper to quantize the notion of a set. Following these lines, this paper is devoted to quantizing algebraic groups viewed from Grothendieck's functorial standpoint.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bell, J. L. (1988).Toposes and Local Set Theories, Oxford University Press, Oxford.
Borceux, F. (1994).Handbook of Categorical Algebra, 3 vols., Cambridge University Press, Cambridge.
Demazure, M., and Gabriel, P. (1980).Introduction to Algebraic Geometry and Algebraic Groups, North-Holland, Amsterdam.
Foulis, D. J., and Randall, C. H. (1972).Journal of Mathematical Physics,13, 1667–1675.
Fourman, M. P., and Scott, D. S. (1979). Sheaves and logic, inLecture Notes in Mathematics, Vol. 753, Springer-Verlag, New York, pp. 302–401.
Goldblatt, R. (1979).Topoi, North-Holland, Amsterdam.
Hartshorne, R. (1977).Algebraic Geometry, Springer-Verlag, New York.
Humphreys, J. E. (1975).Linear Algebraic Groups, Springer-Verlag, New York.
Jech, T. (1978).Set Theory, Academic Press, New York.
MacLane, S. (1971).Categories for the Working Mathematician, Springer-Verlag, New York.
MacLane, S., and Moerdijk, I. (1992).Sheaves in Geometry and Logic, Springer-Verlag, New York.
Nishimura, H. (1984).Publications RIMS, Kyoto University,20, 1091–1101.
Nishimura, H. (1992).International Journal of Theoretical Physics,31, 855–869.
Nishimura, H. (1993).International Journal of Theoretical Physics,32, 1293–1321.
Nishimura, H. (1994).International Journal of Theoretical Physics,33, 1173–1188.
Nishimura, H. (1995a). Manuals in orthogonal categories,International Journal of Theoretical Physics,34, 227–244.
Nishimura, H. (1995b). Empirical sets,International Journal of Theoretical Physics,34, 245–268.
Nishimura, H. (n.d.-a). The logical quantization of differential geometry, in preparation.
Nishimura, H. (n.d.-b). Logical quantization and Schrödinger's equation, in preparation.
Onishchik, A. L., and Vinberg, E. B. (1990).Lie Groups and Algebraic Groups, Springer-Verlag, New York.
Randall, C. H., and Foulis, D. J. (1973).Journal of Mathematical Physics,14, 1472–1480.
Schubert, H. (1972).Categories, Springer-Verlag, Berlin.
Scott, D. S. (1979). Identity and existence in intuitionistic logic, inLecture Notes in Mathematics, Vol. 753, Springer-Verlag, Berlin, pp. 660–696.
Takeuti, G. (1978).Two Applications of Logic to Mathematics, Iwanami, Tokyo, and Princeton University Press, Princeton, New Jersey.
Takeuti, G. (1980).Intuitionistic Set Theory, Kinokuniya, Tokyo [in Japanese].
Takeuti, G., and Titani, S. (1981). Heyting valued universes of intuitionistic set theory, inLecture Notes in Mathematics, Vol. 891, Springer-Verlag, Berlin, pp. 189–306.
Waterhouse, W. C. (1979).Introduction to Affine Group Schemes, Springer-Verlag, New York.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Nishimura, H. The logical quantization of algebraic groups. Int J Theor Phys 34, 655–677 (1995). https://doi.org/10.1007/BF00671015
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00671015