| A Synthetic Perspective on -Category Theory: Fibrational and Semantic Aspects J Weinberger arXiv preprint arXiv:2202.13132, 2022 | 16 | 2022 |
| Synthetic fibered -category theory U Buchholtz, J Weinberger arXiv preprint arXiv:2105.01724, 2021 | 11 | 2021 |
| Internal sums for synthetic fibered (∞, 1)-categories J Weinberger Journal of Pure and Applied Algebra 228 (9), 107659, 2024 | 7 | 2024 |
| Strict stability of extension types J Weinberger arXiv preprint arXiv:2203.07194, 2022 | 7 | 2022 |
| Two-sided cartesian fibrations of synthetic (∞, 1)-categories J Weinberger arXiv preprint arXiv:2204.00938, 2022 | 5 | 2022 |
| Simplicial sets inside cubical sets T Streicher, J Weinberger Theory and Applications of Categories 37 (10), 276-286, 2021 | 5 | 2021 |
| Type-theoretic modalities for synthetic (∞, 1)-categories U Buchholtz, J Weinberger Conference talk, HoTT, 2019 | 2 | 2019 |
| Synthetic Tait computability for simplicial type theory J Weinberger, B Ahrens, U Buchholtz, P North 28th International Conference on Types for Proofs and Programs (TYPES 2022), 2022 | 1 | 2022 |
| Internal sums for synthetic fibered -categories J Weinberger arXiv preprint arXiv:2205.00386, 2022 | 1 | 2022 |
| Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability J Weinberger, B Ahrens, U Buchholtz, P North | 1 | 2022 |
| The cubical model of type theory J Weinberger Master’s thesis, November 2016. Available at https://jonathanweinberger …, 0 | 1 | |
| On a fibrational construction for optics, lenses, and Dialectica categories M Capucci, B Gavranoviĉ, A Malik, F Rios, J Weinberger arXiv preprint arXiv:2403.16388, 2024 | | 2024 |
| Generalized Chevalley criteria in simplicial homotopy type theory J Weinberger arXiv preprint arXiv:2403.08190, 2024 | | 2024 |
| Smooth and Proper Maps M Anel, J Weinberger arXiv preprint arXiv:2402.00331, 2024 | | 2024 |
| Formalizing the∞-Categorical Yoneda Lemma N Kudasov, E Riehl, J Weinberger Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024 | | 2024 |
| Formalizing the -categorical Yoneda lemma N Kudasov, E Riehl, J Weinberger arXiv preprint arXiv:2309.08340, 2023 | | 2023 |
| HIGHER U Buchholtz, J Weinberger | | 2023 |
| Two-sided cartesian fibrations of synthetic -categories J Weinberger arXiv preprint arXiv:2204.00938, 2022 | | 2022 |
| Synthetic fibered (∞, 1)-category theory J Weinberger arXiv preprint arXiv:2105.01724, 2021 | | 2021 |
| A Yoneda Lemma for synthetic fibered∞-categories J Weinberger | | 2021 |
Ulrik BuchholtzUniversity of NottinghamVerified email at nottingham.ac.uk
