Nguyen, Hoang Kim

1. ∞-type theories
   2022/05/02 by Hoang Kim Nguyen, Nguyen, Hoang Kim, Uemura, Taichi · 2 citations
   Mathematics · #18N60 (Primary) 03B38 (Secondary) #Advanced Topology and Set Theory #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
2. The universal coCartesian fibration
   2022/10/17 by Denis-Charles Cisinski, Hoang Kim Nguyen, Cisinski, Denis-Charles +1 · 1 citation
   Mathematics · #Advanced Combinatorial Mathematics #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)