Seminar on Triples and Categorical Homology Theory
by B. Eckmann
Publisher: Springer 1969
Number of pages: 304
This volume concentrates on two closely related topics of special interest: namely a) on the concept of "triple" or standard construction with special reference to the associated "algebras", and b) on homology theories in general categories, based upon triples and simplicial methods.
Home page url
Download or read it online for free here:
(PDF, PS, DVI)
by David I. Spivak - The MIT Press
This book shows that category theory can be useful outside of mathematics as a flexible modeling language throughout the sciences. Written in an engaging and straightforward style, the book is rigorous but accessible to non-mathematicians.
by D.E. Rydeheard, R.M. Burstall
The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.
by Andrea Asperti, Giuseppe Longo - MIT Press
Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.
by Maarten M. Fokkinga - University of Twente
These notes present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. This text introduces category theory in the calculational style of the proofs.