Books in Category theory

5 books

Type Theory & Functional Programming

by Simon Thompson

Category theory Type theory Functional programming

Read
Category Theory for Programmers

by Bartosz Milewski

Category theory

Read
Seven Sketches in Compositionality: An Invitation to Applied Category Theory

by Brendan Fong , David I Spivak

Category theory

Read
Category Theory in Context

by Emily Riehl

Category theory

Read
Category Theory Illustrated

by Boris Marinov

Category theory

Read