Basic Category Theory
by Tom Leinster
Publisher: arXiv 2016
Number of pages: 191
This short introduction to category theory is for readers with relatively little mathematical background. At its heart is the concept of a universal property, important throughout mathematics. For each new categorical concept, a generous supply of examples is provided, taken from different parts of mathematics.
Home page url
Download or read it online for free here:
by Bartosz Milewski - unglue.it
Category theory is the kind of math that is particularly well suited for the minds of programmers. It deals with the kind of structure that makes programs composable. And I will argue strongly that composition is the essence of programming.
by Emily Riehl - Cambridge University Press
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Emily Riehl discusses two competing perspectives by which one typically first encounters homotopy (co)limits ...
by Tom Leinster - arXiv
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from topology, quantum algebra, mathematical physics, logic, and computer science.
by David I. Spivak - arXiv
We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results. In order to target the scientific audience, this book is example-based rather than proof-based.