A combinatorial-topological shape category for polygraphs

Amar Hadzihasanovic

We introduce constructible directed complexes, a combinatorial presentation of higher categories inspired by constructible complexes in poset topology. Constructible directed compl…