Posts tagged "Universal algebra"

Slides on algebraic theories - October 14, 2020

About me

I'm currently a mathematics PhD student at the University of Warwick. I'm particularly interested in homotopy theory, category theory and related areas, and I’m also interested in functional programming and interactive theorem proving.

Contact

Email me at thjread@gmail.com
Follow me on Twitter at @thjread
See my programming projects on GitHub
Subscribe to new posts with the RSS feed

This site

Content provided under a Creative Commons CC BY 4.0 license. Source code for the site provided under the MIT license.

This site is generated by Hakyll, and hosted on GitHub Pages.