HoTT/HoTT — pull request #649 by JasonGross (2014-12-18 23:25:40+00:00)
Title: 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.