Emily Riehl

1. Formalizing the ∞-Categorical Yoneda Lemma
   2023/09/15 by Nikolai Kudasov, Kudasov, Nikolai, Emily Riehl +3 · 3 citations
   Mathematics · #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. The theory and practice of Reedy categories
   2013/04/25 by Emily Riehl, Dominic Verity · 1 voice · 1 citation
   Mathematics · #math.CT #math.AT
3. Complicial sets, an overture
   2016/10/21 by Emily Riehl, Riehl, Emily · 1 citation
   Mathematics · #18G55 #55U35 #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology