Skip to main content
Top
Published in: Applicable Algebra in Engineering, Communication and Computing 1-2/2015

01-03-2015 | Original Paper

Computing path categories of finite directed cubical complexes

Author: Michael D. Misamore

Published in: Applicable Algebra in Engineering, Communication and Computing | Issue 1-2/2015

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

A new method is introduced for simplifying finite directed cubical complexes. This construction is effective in the sense that it can be computed relatively efficiently, and it induces a fully faithful inclusion on path categories. The resulting parallelized family of algorithms enables calculations of morphism sets of path categories of such complexes in many cases of practical interest, and working code is provided as a proof of concept.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literature
5.
go back to reference Pratt, V.R.: Modeling concurrency with geometry. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 311–322 (1991). ISBN: 0-89791-419-8 Pratt, V.R.: Modeling concurrency with geometry. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 311–322 (1991). ISBN: 0-89791-419-8
Metadata
Title
Computing path categories of finite directed cubical complexes
Author
Michael D. Misamore
Publication date
01-03-2015
Publisher
Springer Berlin Heidelberg
Published in
Applicable Algebra in Engineering, Communication and Computing / Issue 1-2/2015
Print ISSN: 0938-1279
Electronic ISSN: 1432-0622
DOI
https://doi.org/10.1007/s00200-014-0243-2

Other articles of this Issue 1-2/2015

Applicable Algebra in Engineering, Communication and Computing 1-2/2015 Go to the issue

Premium Partner