Weinberger, Jonathan
- Formalizing the ∞-Categorical Yoneda Lemma
2023/09/15 by Nikolai Kudasov, Emily Riehl, Kudasov, Nikolai +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)
- Strict stability of extension types
2022/03/14 by Weinberger, Jonathan · 2 citations
#03B38 (Primary) #03G30 #18N45 #18N50 #18N60 #55U35 (Secondary) #Category Theory (math.CT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- Directed univalence in simplicial homotopy type theory
2024/07/12 by Daniel Gratzer, Gratzer, Daniel, Jonathan Weinberger +3 · 3 citations
Mathematics · #03B38 #18B50 #18D30 #18N45 #18N50 #18N60 #55U35 #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO)
- The Yoneda embedding in simplicial type theory
2025/01/22 by Daniel Gratzer, Gratzer, Daniel, Jonathan Weinberger +3 · 1 voice · 3 citations
Computer Science · Mathematics · #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #cs.LO #math.AT #math.CT
- Two-sided cartesian fibrations of synthetic (∞,1)-categories
2022/04/02 by Weinberger, Jonathan · 1 citation
#03B38 #18D30 #18N45 #18N50 #18N60 #55U35 #Algebraic Topology (math.AT) #Category Theory (math.CT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)