Triangulations of oriented matroids and convex polytopes

We define the notion of a triangulation of an oriented matroid and show that, in the representable case, oriented matroid triangulations yield triangulations of the underlying polytopes. We then discuss a class of oriented matroid triangulations which can be generated by means of matroid lifts of a specific form.