13 citations · 17 across the 3 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2019★ 3 cited
Type-theoretic weak factorization systems
Paige Randall North
This article presents three characterizations of the weak factorization systems on finitely complete categories that interpret intensional dependent type theory with Sigma-, Pi-, a…
math.CT2019★ 1 cited
Identity types and weak factorization systems in Cauchy complete categories
Paige Randall North
It has been known that categorical interpretations of dependent type theory with Sigma- and Id-types induce weak factorization systems. When one has a weak factorization system (L,…