This repository collects some links and resources for learning about universal algebra and related topics. It was initially created on Feb 4, 2014 in response to this question.
Consider contributing to this repository!
Contributions to this repository from other members of the mathematical community are strongly encouraged and gratefully accepted. If you would like to contribute, or have suggestions for improvements, there are many ways to do this.
The quickest way to provide feedback is to open a new issue.
Alternatively, you could create a new Wiki page.
If you use Git, you may also fork the repository and make pull requests.
(Would you like to understand the last sentence? Learn git in 15 minutes!)
This section will give a brief overview of universal algebra and point newbies in the right direction.
(Could someone help fill in this section?)
- Universal Algebra: Part I, Part II, Don Pigozzi.
- Universal Algebra, Ralph Freese.
- Algebras, Lattices, Varieties, George McNulty.
- A Course in Universal Algebra, Stanley N. Burris and H.P. Sankappanavar.
- Universal Algebra, Cliff Bergman.
- Notes on Lattice Theory, J.B. Nation.
- The Commutator Book, Ralph Freese and Ralph McKenzie.
- The Structure of Finite Algebras, David Hobby and Ralph McKenzie.
See also the excellent list of resources on George McNulty's Algebras, Lattices, Varieties course page.
- UACalc
- GAP
- Sage
- Agda
- Learn you an agda, a fork of Liam O'Connor's book/tutorial (with a few corrections).
- Introductory tutorial, Stephen Diehl.
- The Agda Wiki
- Coq
- Software Foundations (book) Pierce, et al.
- Certified Programming with Dependent Types (book) Adam Chlipala.
- Software Foundations in Coq, tips from OPLSS.
- YouTube: introductory Coq tutorials, Andrej Bauer.
- Scala
- 2013 course "Functional programming principles in Scala" -- Coursera course by Martin Odersky.
The list of people connected in some way to Universal Algebra has moved here.
Similar lists can also be found here and here.