| A Synthetic Perspective on -Category Theory: Fibrational and Semantic Aspects J Weinberger arXiv preprint arXiv:2202.13132, 2022 | 18 | 2022 |
| Synthetic fibered -category theory U Buchholtz, J Weinberger arXiv preprint arXiv:2105.01724, 2021 | 17 | 2021 |
| Internal sums for synthetic fibered (∞, 1)-categories J Weinberger Journal of Pure and Applied Algebra 228 (9), 107659, 2024 | 10 | 2024 |
| Two-sided cartesian fibrations of synthetic -categories J Weinberger Journal of Homotopy and Related Structures 19 (3), 297-378, 2024 | 9 | 2024 |
| Strict stability of extension types J Weinberger arXiv preprint arXiv:2203.07194, 2022 | 9 | 2022 |
| Simplicial sets inside cubical sets T Streicher, J Weinberger Theory and Applications of Categories 37 (10), 276-286, 2021 | 7 | 2021 |
| Formalizing the∞-Categorical Yoneda Lemma N Kudasov, E Riehl, J Weinberger Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024 | 6 | 2024 |
| Directed univalence in simplicial homotopy type theory D Gratzer, J Weinberger, U Buchholtz arXiv preprint arXiv:2407.09146, 2024 | 2 | 2024 |
| Type-theoretic modalities for synthetic (∞, 1)-categories U Buchholtz, J Weinberger Conference talk, HoTT, 2019 | 2 | 2019 |
| Skolem, G\" odel, and Hilbert fibrations D Trotta, J Weinberger, V de Paiva arXiv preprint arXiv:2407.15765, 2024 | 1 | 2024 |
| Generalized Chevalley criteria in simplicial homotopy type theory J Weinberger arXiv preprint arXiv:2403.08190, 2024 | 1 | 2024 |
| 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 |
| 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 | |
| Universes in simplicial type theory U Buchholtz, D Gratzer, J Weinberger 30th International Conference on Types for Proofs and Programs TYPES 2024 …, 2024 | | 2024 |
| 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 |
| Smooth and Proper Maps M Anel, J Weinberger arXiv preprint arXiv:2402.00331, 2024 | | 2024 |
| Formalization of∞-Category Theory J Weinberger | | 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 |
Ulrik BuchholtzUniversity of Nottingham在 nottingham.ac.uk 的电子邮件经过验证
