Rasekh, Nima

1. A Theory of Elementary Higher Toposes
   2018/05/10 by Nima Rasekh, Rasekh, Nima · 2 citations
   Mathematics · #Advanced Topics in Algebra #Advanced Topology and Set Theory #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
2. Univalence in Higher Category Theory
   2021/03/23 by Nima Rasekh, Rasekh, Nima · 3 citations
   Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
3. Yoneda Lemma for Simplicial Spaces
   2017/11/08 by Rasekh, Nima · 1 citation
   #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
4. The cotangent complex and Thom spectra
   2020/05/04 by Rasekh, Nima, Stonek, Bruno · 1 citation
   #14F10 (Secondary) #55P43 (Primary) #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #FOS: Mathematics
5. Constructing Coproducts in locally Cartesian closed ∞-Categories
   2021/08/25 by Frey, Jonas, Rasekh, Nima · 1 citation
   #03B38 #03G30 #18B25 #18N60 #Category Theory (math.CT) #FOS: Mathematics
6. Univalent Double Categories
   2023/10/13 by Niels van der Weide, Nima Rasekh, van der Weide, Niels +5 · 1 citation
   Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems