Homology theories of directed spaces take values in directed algebraic structures such as abelian pogroups? and abelian pomonoids?.
directed structure?
pomonoid?
directed homotopy theory
Lauri Tart, subobject classification and geometric morphisms of partially ordered acts, masters thesis, pdf
Marco Grandis, directed algebraic topology