- Author: Harold Simmons
- Language: English
- Year: 2000
![book An Introduction to Category Theory [Solution Manual]](/covers/files_170/1611000/091fbbad904881350c58858d8a0edcdb-d.jpg)
- Author: Harold Simmons
- Language: English
- Year: 2011
![book The point-free approach to sheafification [expository notes]](/covers/files_170/1586000/9d1d21621fc058b5bfb14e0284101fc6-g.jpg)
- Author: Harold Simmons
- Language: English
- Year: 2001
![book Forms of recursion and induction [expository notes]](/covers/files_170/1586000/20f06fbc002adc92a4fef7951a1e397a-g.jpg)
- Author: Harold Simmons
- Language: English
- Year: 2004
![book The tensor product of commutative monoids [expository notes]](/covers/files_170/1586000/fd1d94b2795b6e1b9cd504c9f69eec7a-g.jpg)
- Author: Harold Simmons
- Language: English
- Year: 2004
![book While loops and programs [expository notes]](/covers/files_170/1586000/7bd26db020ce7e2f9eafbddd74c8a2fa-g.jpg)
- Author: Harold Simmons
- Language: English
- Year: 2003
![book Domains for recursion [expository notes]](/covers/files_170/1586000/73f93d2dd5071ba5b990063fc62bb730-g.jpg)
- Author: Harold Simmons
- Language: English
- Year: 2003
![book The topos of actions on a monoid [expository notes]](/covers/files_170/1586000/51870d39fd5f7a5736cf6d12f76f1888-g.jpg)
- Author: Harold Simmons
- Language: English
- Year: 2003
![book An introduction to Category Theory [draft]](/covers/files_170/1577000/589bdb0ed138159a2b3e5ccb4268a9f9-g.jpg)
- Author: Harold Simmons
- Language: English
- Year: 2010