1: \begin{definition} [Non-Orientable Polyhedral Path Systems]

2: We say that a path system $T$ is \emph{non-orientable polyhedral} if it satisfies the correspondence to a manifold $M$ described in Theorem \ref{thm:mprops}, except that $M$ is now possibly non-orientable.

3: To emphasize the distinction, we will sometimes refer to polyhedral path systems as defined before as \emph{orientable polyhedral} path systems.

4: \end{definition}

5: