Following the success of the course on YouTube, some members of ItaCa began writing a book on category theory.

Starting from the initial idea of supporting study during the course, this project has evolved towards producing the most complete possible introduction to the language and applications of category theory.

The ideal reader is someone approaching the end of an undergraduate degree who, out of curiosity or necessity, needs to become familiar with the most important definitions and theorems, or wants to explore more niche applications.

The project is collaborative in nature: the source is freely available (the repo can be forked and we happily welcome PRs); a copy of the latest version is readable without any version control knowledge or infrastructure; participation is strongly encouraged (giving feedback, opening a PR to report errors or gaps, etc).

Contributors so far:

• Fosco Loregian
• Beppe Metere
• Paolo Perrone
• Enrico Ghiorzi
• Enrico Vitale
• Paolo Brasolin
• Jacopo Emmenegger

… and many others who stumbled on the repo!