Â鶹¹ÙÍø

• The HoTTLean Project. ,  

• The Serre Finiteness Theorem. , 

• Steve Awodey, Algebraic Type Theory, Part 1: Martin-Löf algebras (2025).  
• Steve Awodey, Jacopo Emmenegger, Toward the effective 2-topos (2025).  
• Julia Morin (visiting MS student), Joyal’s representation theorem for Heyting categories (2024)
• Awodey, Cavallo, Coquand, Riehl, Sattler, (2024)
• Anel, Barton,  (2024)
• Anel, Weinberger,  (2024)
• Anel, Biedermann, Finster and Joyal,  (2023)
• Frey,    (2023)
• Awodey,  , (May 2023)
• Awodey,  (2022)
• Anel,   (2021)
• Anel, Subramaniam,   (2020)
• Swan, (2022)
• Swan, (2022)

• Barton, R., , Mathematical Structures in Computer Science, Volume 35 (2025). doi:10.1017/S0960129525000106
• Anel, Biedermann, Finster and Joyal, , Journal of Pure and Applied Algebra, Volume 228, Issue 3 (2024) 107472.
• Awodey, Gambino, Hazratpour, , Selecta Mathematica, Volume 30 (2024).
• Frey, Rasekh,    Homotopy, Homology and Applications, Volume 25 (2023).
• Frey, J.,    Journal of Pure and Applied Algebra, 2022, doi:10.1016/j.jpaa.2022.107115
• Anel, Biedermann, Finster, Joyal,  .  Advances in Mathematics, Volume 400, 2022, 108268.
  
• Swan, A.W. (2022). Mathematical logic quarterly, Volume 68, Issue 1. doi:10.1002/malq.202100040
• Swan, A.W. (2022). Logical Methods in Computer Science, Volume 18, Issue 1. doi:10.46298/lmcs-18(1:18)2022
• Frey, J., & Streicher, T. (2021).   Mathematical Structures in Computer Science,  1-10. doi:10.1017/S0960129520000304
• Awodey, S. (2021).   In: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, Claudia Casadio and Philip J. Scott (eds.), Springer-Verlag.

• Joint work with Mathieu Anel and Reid Barton. Slides from a talk at the conference Category Theory 2025.
• . Slides from a talk at the conference Categorical Logic and Higher Categories held in Manchester in December 2024.
• Awodey, S. (2024)  Slides and video from a talk for the Hausdorff Institute for Mathematics program Prospects of Formal Mathematics in May 2024.
• Awodey, S. (2023) , Slides from Â鶹¹ÙÍø Philosophy Colloquium, September 2023.
• Frey, J. (2022)  . Slides from the  online workshop.
• Awodey, S. (2022)  . Slides from the special session on  Homotopy Type Theory at the   of the  .
• Frey, J. (2022) . Slides from the special session on  Homotopy Type Theory at the   of the  .
• Awodey, S. (2022) Tutorial on polynomial functors and type theory. Slides from the Workshop on Polynomial Functors, held at the Topos Institute, March 2022.
• Frey, J. (2022)  , Slides from an invited talk at the   series, February 2022. 
• Awodey, S. (2021)  Slides from the conference Category Theory 2021 held at the University of Genoa, August 2021.
• Frey, J. (2021)  Slides from the conference Category Theory 2021 held at the University of Genoa, August 2021.
•  Swan, A.W. (2021) Some remarks on locally representable algebraic weak factorisation systems. Slides from the conference Category Theory 2021 held at the University of Genoa, August 2021.
• Frey, J. (2021)  Slides from the workshop HoTT/UF 2021 held at Buenos Aires, July 2021.
• Swan, A.W. (2021) The Nielsen-Schreier theorem in homotopy type theory. Slides from the workshop HoTT/UF 2021 held at Buenos Aires, July 2021.
• Awodey, S. (2021) Polynomial functors and natural models of type theory. Slides from the Workshop on Polynomial Functors held at the Topos Institute, March 2021.
• Awodey, S. (2019) Slides from the conference Homotopy Type Theory 2019 held at Â鶹¹ÙÍø, July 2019.

 Sponsorship

The Â鶹¹ÙÍø HoTT Group gratefully acknowledges the support of the Air Force Office of Scientific Research through MURI grants FA9550-15-1-0053 and FA9550-21-1-0009, as well as award n umber FA9550-20-1-0305 .  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the United States Air Force.