147 citations · 398 across the 15 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.CT2015★ 38 cited
The Frobenius Condition, Right Properness, and Uniform Fibrations
Nicola Gambino, Christian Sattler
We develop further the theory of weak factorization systems and algebraic weak factorization systems. In particular, we give a method for constructing (algebraic) weak factorizatio…
math.LO2015
Homotopy-initial algebras in type theory
Steve Awodey, Nicola Gambino, Kristina Sojakova
We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion…