Orderable groups and bundles

Abstract: We define what is meant by a strict total order in a category having subobjects, products and fibre products. This allows us to define the notions of an ordered bundle X and an ordered G-set; when G=\pi_1(X) we relate these structures to orderings of \pi_1(X). We apply this to prove a theorem of Farrell relating right-orderings of \pi_1(X) to embeddings of the universal cover into line bundles over X, and generalize it by relating bi-orderings of \pi_1(X) to embeddings of the path space into line bundles over X \times X.