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