Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Natural Homology

  • Conference paper
  • First Online:
Automata, Languages, and Programming (ICALP 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9135))

Included in the following conference series:

Abstract

We propose a notion of homology for directed algebraic topology, based on so-called natural systems of abelian groups, and which we call natural homology. As we show, natural homology has many desirable properties: it is invariant under isomorphisms of directed spaces, it is invariant under refinement (subdivision), and it is computable on cubical complexes.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baues, H.-J., Wirsching, G.: Cohomology of small categories. Journal of Pure and Applied Algebra 38(2–3), 187–211 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  2. Carlsson, G.: Topology and data. AMS. Bulletin 46(2), 255–308 (2009)

    MATH  MathSciNet  Google Scholar 

  3. Coffman, E.G., Elphick, M.J., Shoshani, A.: System deadlocks. Computing Surveys 3(2), 67–78 (1971)

    Article  MATH  Google Scholar 

  4. Fahrenberg, U.: Directed homology. Electronic Notes in Theoretical Computer Science 100, 111–125 (2004)

    Article  MathSciNet  Google Scholar 

  5. Fajstrup, L.: Dipaths and dihomotopies in a cubical complex. Advances in Applied Mathematics 35(2), 188–206 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  6. Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Raussen, M.: Trace Spaces: An Efficient New Technique for State-Space Reduction. In: Seidl, H. (ed.) Programming Languages and Systems. LNCS, vol. 7211, pp. 274–294. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  7. Goubault, E.: Géométrie du parallélisme. PhD thesis, Ecole Polytechnique (1995)

    Google Scholar 

  8. Goubault, E.: Geometry and concurrency: A user’s guide. Mathematical Structures in Computer Science 10(4), 411–425 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  9. Goubault, E., Haucourt, E.: A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 503–517. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Goubault, E., Heindel, T., Mimram, S.: A geometric view of partial order reduction. Electronic Notes in Theoretical Computer Science, 298 (2013)

    Google Scholar 

  11. Grandis, M.: Inequilogical spaces, directed homology and noncommutative geometry. Homology, Homotopy and Applications 6, 413–437 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  12. Grandis, M.: Directed Algebraic Topology. Models of non-reversible worlds. Cambridge University Press (2009)

    Google Scholar 

  13. Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Information and Computation 127(2), 164–185 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  14. T. Kaczynski, K. Mischaikow, and M. Mrozek. Computing homology. Homology, Homotopy and Applications 5(2), 233–256 (2003)

    Google Scholar 

  15. Kahl, T.: The homology graph of a HDA (2013). arXiv:1307.7994

  16. Krishnan, S.: Flow-cut dualities for sheaves on graphs (2014). arXiv:1409.6712

  17. Patchkoria, A.: On exactness of long sequences of homology semimodules. Journal of Homotopy and Related Structures 1(1), 229–243 (2006)

    MATH  MathSciNet  Google Scholar 

  18. Pratt, V.R.: Modeling Concurrency with Geometry. In: Wise, D.S. (ed.) 18th Ann. ACM Symp. Principles of Programming Languages, pp. 311–322 (1991)

    Google Scholar 

  19. Raussen, M.: Invariants of directed spaces. Applied Categorical Structures, 15 (2007)

    Google Scholar 

  20. Raussen, M.: Simplicial models for trace spaces II: General higher dimensional automata. Algebraic and Geometric Topology 12(3), 1741–1762 (2012)

    Article  MathSciNet  Google Scholar 

  21. Sergeraert, F: The computability problem in algebraic topology. Advances in Mathematics, pp. 1–29 (1994)

    Google Scholar 

  22. van Glabeek, R.: Comparative concurrency semantics and refinement of actions. PhD thesis, Centrum voor Wiskunder en Informatica (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIX, Ecole Polytechnique, F-91128, Palaiseau Cedex, France

    Jérémy Dubut & Éric Goubault

  2. LSV, ENS Cachan, F-94230, Cachan, France

    Jérémy Dubut & Jean Goubault-Larrecq

Authors
  1. Jérémy Dubut
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Éric Goubault
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jean Goubault-Larrecq
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jean Goubault-Larrecq .

Editor information

Editors and Affiliations

  1. Reykjavik University, Reykjavik, Iceland

    Magnús M. Halldórsson

  2. Kyoto University, Kyoto, Japan

    Kazuo Iwama

  3. The University of Tokyo, Tokyo, Japan

    Naoki Kobayashi

  4. Technische Universiteit Eindhoven, Eindhoven, The Netherlands

    Bettina Speckmann

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dubut, J., Goubault, É., Goubault-Larrecq, J. (2015). Natural Homology. In: Halldórsson, M., Iwama, K., Kobayashi, N., Speckmann, B. (eds) Automata, Languages, and Programming. ICALP 2015. Lecture Notes in Computer Science(), vol 9135. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47666-6_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-47666-6_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-47665-9

  • Online ISBN: 978-3-662-47666-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation