Jonathan Weinberger

According to our database, Jonathan Weinberger authored at least 13 papers between 2021 and 2026.

Collaborative distances:

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

2026

The ∞-category of ∞categories in simplicial type theory.

Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

CoRR, February, 2026

2025

The Yoneda embedding in simplicial type theory.

Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

Smooth and proper maps with respect to a fibration.

Mathieu Anel, Jonathan Weinberger

Math. Struct. Comput. Sci., 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

Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 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