nLab Jonathan Weinberger

• Personal page

Selected writings

On synthetic $(\infty,1)$-category theory via simplicial type theory:

• Ulrik Buchholtz, Jonathan Weinberger, Synthetic fibered $(\infty,1)$-category theory [arXiv:2105.01724, talk slides]

• Jonathan Weinberger, A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects [arXiv:2202.13132]. PhD Thesis, TU Darmstadt, Germany, 2022.

• Jonathan Weinberger, Strict stability of extension types [arXiv:2203.07194]

• Jonathan Weinberger, Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories [arXiv:2204.00938]

• Jonathan Weinberger, Internal sums for synthetic fibered $(\infty,1)$-categories [arXiv:2205.00386]

• Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz, Directed univalence in simplicial homotopy type theory (arXiv:2407.09146)

• Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz, The Yoneda embedding in simplicial type theory (arXiv:2501.13229)

On model structures on cubical sets and univalent universes:

• Thomas Streicher, Jonathan Weinberger: Simplicial sets inside cubical sets [arXiv:1911.09594], Theory and Applications of Categories, Vol. 37, 2021, No. 10, pp 276–286

Formalization of the $(\infty,1)$-Yoneda lemma via simplicial homotopy type theory (in Rzk):

• Nikolai Kudasov, Emily Riehl, Jonathan Weinberger. Formalizing the $\infty$-categorical Yoneda lemma (2023) [arXiv:2309.08340]

category: people