Path categories and quasi-categories

The identification of morphism sets in path categories of simplicial (or cubical) complexes is a central theme of concurrency theory. The path category functor, on the other hand, plays a role in the homotopy theory of quasi-categories that is roughly analogous to that of the fundamental groupoid in standard homotop