Betweenness relations in a categorical setting
From MaRDI portal
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'{e} 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.
Recommendations
Cites work
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 6279942 (Why is no real title available?)
- scientific article; zbMATH DE number 3080680 (Why is no real title available?)
- A characterization of ordered sets and lattices via betweenness relations
- A survey of homogeneous structures
- Abstract and concrete categories: the joy of cats
- Betweenness relations and cycle-free partial orders
- Betweenness, orders and interval graphs
- Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
- Fraïssé sequences: category-theoretic approach to universal homogeneous structures
- On a characterization of distributive lattices by the betweenness relation
- On a characterization of lattices by the betweenness relation --- on a problem of M. Kolibiar
- Road systems and betweenness.
- The Dedekind-MacNeille completion as a reflector
- The antisymmetry betweenness axiom and Hausdorff continua
- The axiomatics of ordered geometry: I. Ordered incidence spaces
Cited in
(6)- Axiomatic theory of betweenness
- Finite betweenness relational structures are not Fraïssé
- Topologies induced by the representation of a betweenness relation as a family of order relations
- On setwise betweenness
- Betweenness isomorphisms in the plane -- the case of a circle and points
- Bicategories of spans and relations
This page was built for publication: Betweenness relations in a categorical setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407007)