Abstract
We apply a categorical lens to the study of betweenness relations by capturing them within a topological category, fibred in lattices, and study several subcategories of it. In particular, we show that its full subcategory of finite objects forms a Fraissé class implying the existence of a countable homogenous betweenness relation. We furthermore show that the subcategory of antisymmetric betweenness relations is reflective. As an application we recover the reflectivity of distributive complete lattices within complete lattices, and we end with some observations on the Dedekind–MacNeille completion.
Similar content being viewed by others
References
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats. Repr. Theory Appl. Categ. 17, 1–507 (2006). (Reprint of the 1990 original [Wiley, New York; MR1051419])
Bankston, P.: Road systems and betweenness. Bull. Math. Sci. 3(3), 389–408 (2013)
Bankston, P.: When Hausdorff continua have no gaps. Topol. Proc. 44, 177–188 (2014)
Bankston, P.: The antisymmetry betweenness axiom and Hausdorff continua. Topol. Proc. 45, 189–215 (2015)
Düvelmeyer, N., Wenzel, W.: A characterization of ordered sets and lattices via betweenness relations. Results Math. 46(3–4), 237–250 (2004)
Erné, M.: The Dedekind–MacNeille completion as a reflector. Order 8(2), 159–173 (1991)
Fishburn, P.C.: Betweenness, orders and interval graphs. J. Pure Appl. Algebra 1(2), 159–178 (1971)
Fraïssé, R.: Sur certaines relations qui généralisent l’ordre des nombres rationnels. C. R. Acad. Sci. Paris 237, 540–542 (1953)
Hedlíková, J., Katriňák, T.: On a characterization of lattices by the betweenness relation—on a problem of M Kolibiar. Algebra Univ. 28(3), 389–400 (1991)
Huntington, E.V., Kline, J.R.: Sets of independent postulates for betweenness. Trans. Am. Math. Soc. 18(3), 301–325 (1917)
Kechris, A.S., Pestov, V.G., Todorcevic, S.: Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups. Geom. Funct. Anal. 15(1), 106–189 (2005)
Kubiś, W.: Fraïssé sequences: category-theoretic approach to universal homogeneous structures. Ann. Pure Appl. Log. 165(11), 1755–1811 (2014)
Mac Lane, S.: Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics, 2nd ed. Springer, New York (1998)
Macpherson, D.: A survey of homogeneous structures. Discrete Math. 311(15), 1599–1634 (2011)
Pambuccian, V.: The axiomatics of ordered geometry I. Ordered incidence spaces. Expos. Math. 29(1), 24–66 (2011)
Pasch, M.: Vorlesungen über Neuere Geometrie. Teubner, Leipzig (1882)
Ploščica, M.: On a characterization of distributive lattices by the betweenness relation. Algebra Univ. 35(2), 249–255 (1996)
Truss, J.K.: Betweenness relations and cycle-free partial orders. Math. Proc. Camb. Philos. Soc. 119(4), 631–643 (1996)
Acknowledgements
The authors would like to extend their gratitude to Walter Tholen and Lili Shen for their many helpful suggestions to the paper. We would also like to extend our sincere gratitude to the referee for her/his very delicate review of our manuscript: we consider her/his comments as invaluable to our work and its exposition.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bruno, J., McCluskey, A. & Szeptycki, P. Betweenness Relations in a Categorical Setting. Results Math 72, 649–664 (2017). https://doi.org/10.1007/s00025-017-0671-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00025-017-0671-y