13 citations · 28 across the 14 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.AT2019
A Hurewicz Model Structure for Directed Topology
Sanjeevi Krishnan, Paige Randall North
This paper constructs an h-model structure for diagrams of streams, locally preordered spaces. Along the way, the paper extends some classical characterizations of Hurewicz fibrati…
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,…