Recent publications
Article
Finster, E, Vicary, J, Markakis, I & Dean, C 2024, 'Computads for weak ω-categories as an inductive type', Advances in Mathematics, vol. 450, 109739. https://doi.org/10.1016/j.aim.2024.109739
Anel, M, Biedermann, G, Finster, E & Joyal, A 2024, 'Left-exact localizations of ∞-topoi II: Grothendieck topologies', Journal of Pure and Applied Algebra, vol. 228, no. 3, 107472. https://doi.org/10.1016/j.jpaa.2023.107472
Anel, M, Biedermann, G, Finster, E & Joyal, A 2022, 'Higher sheaves and left-exact localizations of ∞-topoi', Advances in Mathematics, vol. 400, 108268. https://doi.org/10.1016/j.aim.2022.108268
Conference contribution
Finster, E, Rice, AA & Vicary, J 2024, A Syntax for Strictly Associative and Unital ∞-Categories. in LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science., 34, Association for Computing Machinery (ACM), LICS '24, Tallinn, Estonia, 8/07/24. https://doi.org/10.1145/3661814.3662102
Finster, E, Reutter, D, Vicary, J & Rice, AA 2022, A type theory for strictly unital ∞-categories. in LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science., 48, Association for Computing Machinery (ACM),
LICS '22, Haifa, Israel, 2/08/22. https://doi.org/10.1145/3531130.3533363
Finster, E, Mimram, S, Lucas, M & Seiller, T 2021, A cartesian bicategory of polynomial functors in homotopy type theory. in A Sokolova (ed.), Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. EPTCS, vol. 351, Open Publishing Association, pp. 67-83, 37th Conference on Mathematical Foundations of Programming Semantics, Salzburg, Austria, 30/08/21. https://doi.org/10.4204/EPTCS.351.5
Finster, E, Sozeau, M & Allioux, A 2021, Types are internal ∞-groupoids. in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)., 9470541, Proceedings - Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/LICS52264.2021.9470541
View all publications in research portal