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.
Similar content being viewed by others
References
Birkhoff, G., Mac Lane, S.: A Survey of Modern Algebra. Macmillan Co., New York (1953). Rev. ed
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)
Lawvere, F.W.: Functorial semantics of algebraic theories, Dissertation, Columbia University, New York, 1963. Available in Repr. Theory Appl. Categ. 5 (2004)
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)
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
Lucyshyn-Wright, R.B.B.: Commutants for enriched algebraic theories and monads. (2016). arXiv:1604.08569 (preprint)
Lucyshyn-Wright, R.B.B.: Enriched algebraic theories and monads for a system of arities. Theory Appl. Categ. 31, 101–137 (2016)
Lucyshyn-Wright, R.B.B.: Measure and distribution monads in categorical functional analysis, I: The functional distribution monad. arXiv:1701.08152 (2017) (preprint)
Mac Lane, S.: Categories for the Working Mathematician, 1st edn. Springer, Berlin (1971)
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)
Pareigis, B., Röhrl, H.: Left linear theories—a generalization of module theory. Appl. Categ. Struct. 2(2), 145–171 (1994)
Trnková, V., Sichler, J.: All clones are centralizer clones. Algebra Univers. 61(1), 77–95 (2009)
Wraith, G.C.: Algebraic theories. Lectures Autumn 1969. Lecture Notes Series, No. 22. Matematisk Institut, Aarhus Universitet, Aarhus (1970) (Revised version 1975)
Author information
Authors and Affiliations
Corresponding author
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
About this article
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-017-9496-9
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