Category Theory and Functional Programming
by Mikael Vejdemo-Johansson
Publisher: University of St. Andrews 2012
Number of pages: 99
This text is intended to provide an introduction to Category Theory that ties into Haskell and functional programming as a source of examples and applications. Topics covered: The definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases of these, adjunctions, freeness and presentations as categorical constructs, monads and Kleisli arrows, recursion with categorical constructs.
Home page url
Download or read it online for free here:
by Paul Goerss, Kristen Schemmerhorn - Northwestern University
There are many ways to present model categories, each with a different point of view. Here we would like to treat model categories as a way to build and control resolutions. We are going to emphasize the analog of projective resolutions.
by Brendan Fong, David I Spivak - arXiv.org
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. The tour takes place over seven sketches, such as databases, electric circuits, etc, with the exploration of a categorical structure.
This book is an introduction to category theory, written for those who have some understanding of one or more branches of abstract mathematics, such as group theory, analysis or topology. It contains examples drawn from various branches of math.
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.