Homology, Homotopy and Applications

Table of Contents

Introduction

Dicovering spaces

Computing linking numbers of a filtration

Topological deformation of higher dimensional automata

Computation of cohomology operations of finite simplicial complexes

Some geometric perspectives in concurrency theory

On the geometry of intuitionistic S4 proofs

Ordinary and directed combinatorial homotopy, applied to image analysic and concurrency

Computing homology

State spaces and dipaths up to dihomotopy