62 citations · 126 across the 28 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.CT2016
Path categories and propositional identity types
Benno van den Berg
Connections between homotopy theory and type theory have recently attracted a lot of attention, with Voevodsky's univalent foundations and the interpretation of Martin-Lof's identi…
math.CT2016★ 3 cited
Exact completion of path categories and algebraic set theory -- Part I: Exact completion of path categories
Benno van den Berg, Ieke Moerdijk
We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic prop…