Dicovering Spaces

  title={Dicovering Spaces},
  author={Lisbeth Fajstrup},
For a local po-space X and a base point x0 ∈ X, we define the universal dicovering space Π : X̃x0 → X. The image of Π is the future ↑ x0 of x0 in X and X̃x0 is a local po-space such that | π 1 (X̃, [x0], x1)| = 1 for the constant dipath [x0] ∈ Π−1(x0) and x1 ∈ X̃x0 . Moreover, dipaths and dihomotopies of dipaths (with a fixed starting point) in ↑ x0 lift uniquely to X̃x0 . The fibers Π −1(x) are discrete, but the cardinality is not constant. We define dicoverings P : X̂ → Xx0 and construct a… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-5 of 5 references

The Geometry of Concurrency

  • E. Goubault
  • Ph.D. thesis, Ecole Normale Superieure,
  • 1995
2 Excerpts

Similar Papers

Loading similar papers…