Category Theory for Computing Science
by Michael Barr, Charles Wells
Publisher: Prentice Hall 1998
ISBN/ASIN: 0131204866
ISBN-13: 9780131204867
Number of pages: 544
Description:
This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions we feel are basic to category theory in the context of examples and applications to computing science.
Download or read it online for free here:
Download link
(2.1MB, PDF)
Similar books
Category Theory: A Gentle Introductionby Peter Smith - Logic Matters
I hope that what is here may prove useful to others starting to get to grips with category theory. This text is intended to be relatively accessible; in particular, it presupposes rather less mathematical background than some texts on categories.
(2661 views)
Higher-Dimensional Categories: an illustrated guide bookby 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.
(8497 views)
Notes on Categories and Groupoidsby P. J. Higgins - Van Nostrand Reinhold
A self-contained account of the elementary theory of groupoids and some of its uses in group theory and topology. Category theory appears as a secondary topic whenever it is relevant to the main issue, and its treatment is by no means systematic.
(10047 views)
Seminar on Triples and Categorical Homology Theoryby B. Eckmann - Springer
This volume concentrates 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.
(7195 views)