Non-Hausdorff manifolds over locally ordered spaces via sheaf theory

Yorgo Chamoun, Emmanuel Haucourt

Locally ordered spaces can be used as topological models of concurrent programs: the local order models the irreversibility of time during execution. Under certain conditions, one…