Category Theory for Scientists
by David I. Spivak
Publisher: arXiv 2013
Number of pages: 261
There are many books designed to introduce category theory to either a mathematical audience or a computer science audience. In this book, our audience is the broader scientific community. 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.
Home page url
Download or read it online for free here:
by Samson Abramsky, Nikos Tzevelekos - arXiv
These notes provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions.
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.
by Peter Freyd - Harper and Row
From the table of contents: Fundamentals (Contravariant functors and dual categories); Fundamentals of Abelian categories; Special functors and subcategories; Metatheorems; Functor categories; Injective envelopes; Embedding theorems.
by Eugenia Cheng, Aaron Lauda - University of Sheffield
This work gives an explanatory introduction to various definitions of higher-dimensional category. The emphasis is on ideas rather than formalities; the aim is to shed light on the formalities by emphasizing the intuitions that lead there.