134 citations · 208 across the 10 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
math.LO2007★ 2 cited
Lawvere-Tierney sheaves in algebraic set theory
Steve Awodey, Nicola Gambino, Peter L. Lumsdaine +1
We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we c…
math.LO2007★ 134 cited
Homotopy theoretic models of identity types
Steve Awodey, Michael A. Warren
This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category…