Jonathan Weinberger

15 papers A* 1B 2Journal 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	The ∞-category of ∞categories in simplicial type theory. CoRR Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
2025	A*	`conf`	The Yoneda embedding in simplicial type theory. LICS Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
2025	J	`jnl`	The Yoneda embedding in simplicial type theory. CoRR Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
2024	J	`jnl`	Directed univalence in simplicial homotopy type theory. CoRR Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
2024	B	`conf`	Formalizing the ∞-Categorical Yoneda Lemma. CPP Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
2024	J	`jnl`	Generalized Chevalley criteria in simplicial homotopy type theory. CoRR Jonathan Weinberger
2024	B	`conf`	On a fibrational construction for optics, lenses, and Dialectica categories. MFPS Matteo Capucci, Bruno Gavranovic, Abdullah Malik, Francisco Rios, Jonathan Weinberger
2024	J	`jnl`	Smooth and Proper Maps. CoRR Mathieu Anel, Jonathan Weinberger
2024	J	`jnl`	Smooth and proper maps with respect to a fibration. Math. Struct. Comput. Sci. Mathieu Anel, Jonathan Weinberger
2023	J	`jnl`	Formalizing the ∞-categorical Yoneda lemma. CoRR Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
2022	J	`jnl`	A Synthetic Perspective on (∞, 1)-Category Theory: Fibrational and Semantic Aspects. CoRR Jonathan Weinberger
2022	J	`jnl`	Internal sums for synthetic fibered (∞,1)-categories. CoRR Jonathan Weinberger
2022	J	`jnl`	Strict stability of extension types. CoRR Jonathan Weinberger
2022	J	`jnl`	Two-sided cartesian fibrations of synthetic (∞, 1)-categories. CoRR Jonathan Weinberger
2021	J	`jnl`	Synthetic fibered (∞, 1)-category theory. CoRR Ulrik Buchholtz, Jonathan Weinberger