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 for Programmersby Bartosz Milewski - unglue.it
Category theory is the kind of math that is particularly well suited for the minds of programmers. It deals with the kind of structure that makes programs composable. And I will argue strongly that composition is the essence of programming.
(3049 views)
Banach Modules and Functors on Categories of Banach Spacesby 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.
(7074 views)
Category Theory in Contextby Emily Riehl - Dover Publications
This is a concise, original text for a one-semester introduction to the subject. The treatment introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, monads, etc.
(1571 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.
(9869 views)