Repository for my master thesis about category theory with application to foundamentation of computation.
Thanks a lot to Ángel González Prieto for supervising this work.
- Just reading and telling me whether everything is understandable and well written is more than enough. :)
- Funny examples, specially category theory examples, are always well received.