Advertisement

Applied Categorical Structures

, Volume 26, Issue 2, pp 369–400 | Cite as

Convex Spaces, Affine Spaces, and Commutants for Algebraic Theories

  • Rory B. B. Lucyshyn-Wright
Article

Abstract

Certain axiomatic notions of affine space over a ring and convex space over a preordered ring are examples of the notion of \(\mathscr {T}\)-algebra for an algebraic theory \(\mathscr {T}\) in the sense of Lawvere. Herein we study the notion of commutant for Lawvere theories that was defined by Wraith and generalizes the notion of centralizer clone. We focus on the Lawvere theory of left R -affine spaces for a ring or rig R, proving that this theory can be described as a commutant of the theory of pointed right R-modules. Further, we show that for a wide class of rigs R that includes all rings, these theories are commutants of one another in the full finitary theory of R in the category of sets. We define left R -convex spaces for a preordered ring R as left affine spaces over the positive part \(R_+\) of R. We show that for any firmly archimedean preordered algebra R over the dyadic rationals, the theories of left R-convex spaces and pointed right \(R_+\)-modules are commutants of one another within the full finitary theory of \(R_+\) in the category of sets. Applied to the ring of real numbers \(\mathbb {R}\), this result shows that the connection between convex spaces and pointed \(\mathbb {R}_+\)-modules that is implicit in the integral representation of probability measures is a perfect ‘duality’ of algebraic theories.

Keywords

Convex space Convex module Affine space Affine module Commutant Centralizer clone Commutation Algebraic theory Lawvere theory Universal algebra Ring Rig Semiring Preordered ring Ordered ring Module Monad Commutative theory Semilattice Matrix Kronecker product 

Mathematics Subject Classification

18C10 18C15 18C20 18C05 08A62 08B99 08C05 52A01 52A05 51N10 16B50 16B70 16D10 16D90 16W80 13J25 13C99 15A27 15A69 15A99 15B51 06A11 06A12 06F25 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Birkhoff, G., Mac Lane, S.: A Survey of Modern Algebra. Macmillan Co., New York (1953). Rev. edzbMATHGoogle Scholar
  2. 2.
    Kearnes, K.A.: Idempotent simple algebras. In: Logic and Algebra (Pontignano, 1994), Lecture Notes in Pure and Applied Mathematics, vol. 180, pp. 529–572. Dekker, New York (1996)Google Scholar
  3. 3.
    Lawvere, F.W.: Functorial semantics of algebraic theories, Dissertation, Columbia University, New York, 1963. Available in Repr. Theory Appl. Categ. 5 (2004)Google Scholar
  4. 4.
    Lawvere, F.W.: Some algebraic problems in the context of functorial semantics of algebraic theories, Reports of the Midwest Category Seminar. II, pp. 41–61. Springer, 1968. Available in Repr. Theory Appl. Categ. 5 (2004)Google Scholar
  5. 5.
    Lucyshyn-Wright, R.B.B.: A general theory of measure and distribution monads founded on the notion of commutant of a subtheory. Talk at Category Theory 2015. Aveiro, Portugal, June 2015Google Scholar
  6. 6.
    Lucyshyn-Wright, R.B.B.: Commutants for enriched algebraic theories and monads. (2016). arXiv:1604.08569 (preprint)
  7. 7.
    Lucyshyn-Wright, R.B.B.: Enriched algebraic theories and monads for a system of arities. Theory Appl. Categ. 31, 101–137 (2016)MathSciNetzbMATHGoogle Scholar
  8. 8.
    Lucyshyn-Wright, R.B.B.: Measure and distribution monads in categorical functional analysis, I: The functional distribution monad. arXiv:1701.08152 (2017) (preprint)
  9. 9.
    Mac Lane, S.: Categories for the Working Mathematician, 1st edn. Springer, Berlin (1971)CrossRefzbMATHGoogle Scholar
  10. 10.
    Meng, X.: Categories of convex sets and of metric spaces, with applications to stochastic programming and related areas, Ph.D. thesis, State University of New York at Buffalo (1987)Google Scholar
  11. 11.
    Pareigis, B., Röhrl, H.: Left linear theories—a generalization of module theory. Appl. Categ. Struct. 2(2), 145–171 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Trnková, V., Sichler, J.: All clones are centralizer clones. Algebra Univers. 61(1), 77–95 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Wraith, G.C.: Algebraic theories. Lectures Autumn 1969. Lecture Notes Series, No. 22. Matematisk Institut, Aarhus Universitet, Aarhus (1970) (Revised version 1975)Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2017

Authors and Affiliations

  1. 1.Mount Allison UniversitySackvilleCanada

Personalised recommendations