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 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 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.
by Michael Barr, Charles Wells
Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.
by Michael Barr, Charles Wells - Prentice Hall
This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions basic to category theory in the context of applications to computing science.