Category Theory for the Sciences
by David I. Spivak
Publisher: The MIT Press 2014
Number of pages: 496
This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences. Written in an engaging and straightforward style, and assuming little background in mathematics, the book is rigorous but accessible to non-mathematicians.
Home page url
Download or read it online for free here:
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 D. I. Spivak, C. Vasilakopoulou, P. Schultz - arXiv
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as 'machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time.
by J. Cigler, V. Losert, P.W. Michor - Marcel Dekker Inc
This book is the final outgrowth of a sequence of seminars about functors on categories of Banach spaces (held 1971 - 1975) and several doctoral dissertations. It has been written for readers with a general background in functional analysis.
by Mikael Vejdemo-Johansson - University of St. Andrews
An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.