Mathematics

General

Paul Taylor: Practical Foundations of Mathematics. Free online book on mathematics, huge areas of mathematics are described thoroughly, many of them closely related to computer science and functional programming (relational algebra, category theory, Curry-Howard isomorphism).

Topics

• Category theory
• Computer science
• Combinatory logic