Jonathan Weinberger

According to our database, Jonathan Weinberger authored at least 10 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Directed univalence in simplicial homotopy type theory.

Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

CoRR, 2024

On a fibrational construction for optics, lenses, and Dialectica categories.

Matteo Capucci, Bruno Gavranovic, Abdullah Malik, Francisco Rios, Jonathan Weinberger

CoRR, 2024

Generalized Chevalley criteria in simplicial homotopy type theory.

Jonathan Weinberger

CoRR, 2024

Smooth and Proper Maps.

Mathieu Anel, Jonathan Weinberger

CoRR, 2024

Formalizing the ∞-Categorical Yoneda Lemma.

Nikolai Kudasov, Emily Riehl, Jonathan Weinberger

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

Internal sums for synthetic fibered (∞,1)-categories.

Jonathan Weinberger

CoRR, 2022

Two-sided cartesian fibrations of synthetic (∞, 1)-categories.

Jonathan Weinberger

CoRR, 2022

Strict stability of extension types.

Jonathan Weinberger

CoRR, 2022

A Synthetic Perspective on (∞, 1)-Category Theory: Fibrational and Semantic Aspects.

Jonathan Weinberger

CoRR, 2022

2021

Synthetic fibered (∞, 1)-category theory.

Ulrik Buchholtz, Jonathan Weinberger

CoRR, 2021