Category Theory: A Gentle Introduction
by Peter Smith
Publisher: Logic Matters 2016
Number of pages: 283
I hope that what is here may prove useful to others starting to get to grips with category theory. This text is intended to be relatively accessible; in particular, it presupposes rather less mathematical background than some texts on categories.
Home page url
Download or read it online for free here:
by David I. Spivak - The MIT Press
This book shows that category theory can be useful outside of mathematics as a flexible modeling language throughout the sciences. Written in an engaging and straightforward style, the book is rigorous but accessible to non-mathematicians.
by Jacob Lurie - Harvard University
Contents: Stable infinite-Categories; infinite-Operads; Algebras and Modules over infinte-Operads; Associative Algebras and Their Modules; Little Cubes and Factorizable Sheaves; Algebraic Structures on infinite-Categories; and more.
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 A. Schalk, H. Simmons - Manchester University
Notes for a course offered as part of the MSc. in Mathematical Logic. From the table of contents: Development and exercises; Functors and natural transformations; Limits and colimits, a universal solution; Cartesian closed categories.