Linkage Axioms for Generic Tropical Oriented Matroids
Yuan Yao
TL;DR
This paper provides a comprehensive overview and unifying framework for tropical oriented matroids, clarifying their connections and introducing new cryptomorphisms and properties.
Contribution
It offers a unified perspective on tropical oriented matroids, including new cryptomorphisms and properties that deepen understanding of their structure.
Findings
Unified framework for tropical oriented matroids
New cryptomorphisms established
Enhanced understanding of related objects and axioms
Abstract
We present a comprehensive overview of Ardila and Develin's (generic) tropical oriented matroids, as well as many related objects and their axiomatics. Moreover, we use a unifying framework that elucidates the connections between these objects, including several new cryptomorphisms and properties.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems