Path precategory

Classify the path space of precategories.  Also prove that groupoid precategories are propositionally self-dual, as a use of this path-space classification.