# Category theory books

Abelian categories: an introduction to the theory of functors

by Peter Freyd, 1964, 192 pages, PDF

Abstract and Concrete Categories: The Joy of Cats

by Jiri Adamek, Horst Herrlich, George Strecker, 1990, 496 pages, 4.2MB, PDF

Banach Modules and Functors on Categories of Banach Spaces

by J. Cigler, V. Losert, P.W. Michor, 1979, 297 pp, 15 MB, PDF

Basic Category Theory

by Jaap van Oosten, 2007, 88 pages, 500KB, PDF

Basic Concepts of Enriched Category Theory

by Max Kelly, 2005, 143 pages, 0.9MB, PDF

Categories and Homological Algebra

by Pierre Schapira, 2011, 125 pp, 630KB, PDF

Categories, Types, and Structures

by Andrea Asperti and Giuseppe Longo, 1991, 300 pages, PDF

Category Theory

Stanford Encyclopedia of Philosophy, 2007

Category Theory

Wikibooks, 2010

Category Theory and Functional Programming

by Mikael Vejdemo-Johansson, 2012, 99 pp, 410KB, PDF

Category Theory for Computing Science

by Michael Barr, Charles Wells, 1998, 544 pp, 2.1MB, PDF

Category Theory for Scientists

by David I. Spivak, 2013, 261 pp, 4.7MB, PDF

Category Theory Lecture Notes

by Daniele Turi, 2001, 61 pages, 540KB, PDF

Category Theory Lecture Notes

by Michael Barr, Charles Wells, 1999, 133 pages, 1.2MB, PDF

Coherence in Linear Predicate Logic

by K. Dosen, Z. Petric, 2010, 51 pages, 410KB, PDF

Computational Category Theory

by D.E. Rydeheard and R.M. Burstall, 2001, 263 pages, 0.9MB, PDF

Functors and Categories of Banach Spaces

by Peter W. Michor, 1978, 103 pp, 4.7MB, PDF

A Gentle Introduction to Category Theory: the calculational approach

by Maarten M. Fokkinga, 1994, 80 pages, 390KB, PDF

Higher Algebra

by Jacob Lurie , 2011, 950 pp, 4.8MB, PDF

Higher-Dimensional Categories: an illustrated guide book

by Eugenia Cheng, Aaron Lauda, 2004, 1.7MB, PDF

Higher Operads, Higher Categories

by Tom Leinster, 2003, 410 pages, 3MB, PDF

Higher Topos Theory

by Jacob Lurie, 2009, 943 pp, 3.9MB, PDF

Homotopy Theories and Model Categories

by W. G. Dwyer, J. Spalinski, 1995, 56 pages, 420KB, PDF

Introducing categories to the practicing physicist

by Bob Coecke, 2008, 30 pages, 280KB, PDF

Introduction to Categories and Categorical Logic

by Samson Abramsky, Nikos Tzevelekos, 2011, 101 pages, 710KB, PDF

An Introduction to Category Theory in Four Easy Movements

by A. Schalk, H. Simmons, 2005, 197 pages, 1.2MB, PDF

An Invitation to General Algebra and Universal Constructions

by George M. Bergman, 1998, 398 pages, PS

Lectures on Tensor Categories and Modular Functors

by Bojko Bakalov, Alexander Kirillov, 2000, PS

Metric spaces, generalized logic and closed categories

by F. W. Lawvere, 2002, 37 pages, 2.8MB, PDF

Model Categories and Simplicial Methods

by Paul Goerss, Kristen Schemmerhorn, 2004, 46 pages, 410KB, PDF

Notes on Categories and Groupoids

by P. J. Higgins, 1971, 195 pages, 14MB, PDF

Practical Foundations of Mathematics

by Paul Taylor, 1999

Seminar on Triples and Categorical Homology Theory

by B. Eckmann, 1969, 304 pages, PDF, PS, DVI

Tensor Categories

by P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, 2009, 540KB, PDF

Topoi: The Categorial Analysis of Logic

by Robert Goldblatt, 1984

Toposes, Triples and Theories

by Michael Barr, Charles Wells, 2005, 303 pages, 1.3MB, PDF