Path categories and inverse diagrams.
Master's thesis: Path categories and infinity-groupoids.