What is a category? Why does Haskell have stuff named after concepts in category theory? And why exactly is a monad a monoid in the category of endofunctors? Find out the answers to these questions and more in my BSc thesis!
Get the latest (published) version from the releases page.
- Document: Bachelor's thesis
- Title: Category Theory and Haskell
- Subject: Mathematics
- Degree programme: Bachelor's Programme in Science
- Institutuion: University of Helsinki
- Supervisor: Lecturer Erik Elfving
- Scope: 6 ECTS
- Word count: TBD