Jonathan Weinberger

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 11

Top Topics

Johnson Lindenstrauss

Semantic Aspects

Real Images Are Presented

Numerical Values

Top Venues

Publications

Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
Directed univalence in simplicial homotopy type theory. CoRR (2024)
Mathieu Anel, Jonathan Weinberger
Smooth and Proper Maps. CoRR (2024)
Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
Formalizing the ∞-Categorical Yoneda Lemma. CPP (2024)
Matteo Capucci, Bruno Gavranovic, Abdullah Malik, Francisco Rios, Jonathan Weinberger
On a fibrational construction for optics, lenses, and Dialectica categories. CoRR (2024)
Jonathan Weinberger
Generalized Chevalley criteria in simplicial homotopy type theory. CoRR (2024)
Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
Formalizing the ∞-categorical Yoneda lemma. CoRR (2023)
Jonathan Weinberger
A Synthetic Perspective on (∞, 1)-Category Theory: Fibrational and Semantic Aspects. CoRR (2022)
Jonathan Weinberger
Strict stability of extension types. CoRR (2022)
Jonathan Weinberger
Internal sums for synthetic fibered (∞,1)-categories. CoRR (2022)
Jonathan Weinberger
Two-sided cartesian fibrations of synthetic (∞, 1)-categories. CoRR (2022)
Ulrik Buchholtz, Jonathan Weinberger
Synthetic fibered (∞, 1)-category theory. CoRR (2021)