Skip to main content
Log in

Convex Spaces, Affine Spaces, and Commutants for Algebraic Theories

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Birkhoff, G., Mac Lane, S.: A Survey of Modern Algebra. Macmillan Co., New York (1953). Rev. ed

    MATH  Google Scholar 

  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)

  3. Lawvere, F.W.: Functorial semantics of algebraic theories, Dissertation, Columbia University, New York, 1963. Available in Repr. Theory Appl. Categ. 5 (2004)

  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)

  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 2015

  6. Lucyshyn-Wright, R.B.B.: Commutants for enriched algebraic theories and monads. (2016). arXiv:1604.08569 (preprint)

  7. Lucyshyn-Wright, R.B.B.: Enriched algebraic theories and monads for a system of arities. Theory Appl. Categ. 31, 101–137 (2016)

    MathSciNet  MATH  Google Scholar 

  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. Mac Lane, S.: Categories for the Working Mathematician, 1st edn. Springer, Berlin (1971)

    Book  MATH  Google Scholar 

  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)

  11. Pareigis, B., Röhrl, H.: Left linear theories—a generalization of module theory. Appl. Categ. Struct. 2(2), 145–171 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  12. Trnková, V., Sichler, J.: All clones are centralizer clones. Algebra Univers. 61(1), 77–95 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  13. Wraith, G.C.: Algebraic theories. Lectures Autumn 1969. Lecture Notes Series, No. 22. Matematisk Institut, Aarhus Universitet, Aarhus (1970) (Revised version 1975)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Rory B. B. Lucyshyn-Wright.

Additional information

The author gratefully acknowledges financial support in the form of an AARMS Postdoctoral Fellowship, a Mount Allison University Research Stipend, and, earlier, an NSERC Postdoctoral Fellowship.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lucyshyn-Wright, R.B.B. Convex Spaces, Affine Spaces, and Commutants for Algebraic Theories. Appl Categor Struct 26, 369–400 (2018). https://doi.org/10.1007/s10485-017-9496-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-017-9496-9

Keywords

Mathematics Subject Classification

Navigation