Title: Invitation to Applied Category Theory
Subjects: Categories (mathematics), Computable functions, Logic, symbolic and mathematical, Mathematical analysis