Synthetic fibered (∞, 1)-category theory. - Ulrik Buchholtz; Jonathan Weinberger (CoRR, 2021)

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

Strict stability of extension types. - Jonathan Weinberger (CoRR, 2022)

Two-sided cartesian fibrations of synthetic (∞, 1)-categories. - Jonathan Weinberger (CoRR, 2022)

Internal sums for synthetic fibered (∞,1)-categories. - Jonathan Weinberger (CoRR, 2022)

Formalizing the ∞-Categorical Yoneda Lemma. - Nikolai Kudasov; Emily Riehl; Jonathan Weinberger (CPP, 2024)

Smooth and Proper Maps. - Mathieu Anel; Jonathan Weinberger (CoRR, 2024)

Generalized Chevalley criteria in simplicial homotopy type theory. - Jonathan Weinberger (CoRR, 2024)

On a fibrational construction for optics, lenses, and Dialectica categories. - Matteo Capucci; Bruno Gavranovic; Abdullah Malik; Francisco Rios; Jonathan Weinberger (CoRR, 2024)

Directed univalence in simplicial homotopy type theory. - Daniel Gratzer; Jonathan Weinberger; Ulrik Buchholtz (CoRR, 2024)

Smooth and proper maps with respect to a fibration. - Mathieu Anel; Jonathan Weinberger (Math. Struct. Comput. Sci., 2024)

The Yoneda embedding in simplicial type theory. - Daniel Gratzer; Jonathan Weinberger; Ulrik Buchholtz (CoRR, 2025)