Logo

Category Theory for Computing Science

Large book cover: Category Theory for Computing Science

Category Theory for Computing Science
by

Publisher: Prentice Hall
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

Book cover: Higher-Dimensional Categories: an illustrated guide bookHigher-Dimensional Categories: an illustrated guide book
by - 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.
(13217 views)
Book cover: Mixed MotivesMixed Motives
by - American Mathematical Society
This book combines foundational constructions in the theory of motives and results relating motivic cohomology to more explicit constructions. Prerequisite for understanding the work is a basic background in algebraic geometry.
(14726 views)
Book cover: Category Theory Lecture NotesCategory Theory Lecture Notes
by - University of Edinburgh
These notes were written for a course in category theory. The course was designed to be self-contained, drawing most of the examples from category theory itself. It was intended for post-graduate students in theoretical computer science.
(11749 views)
Book cover: Abelian Categories: an Introduction to the Theory of FunctorsAbelian Categories: an Introduction to the Theory of Functors
by - Harper and Row
From the table of contents: Fundamentals (Contravariant functors and dual categories); Fundamentals of Abelian categories; Special functors and subcategories; Metatheorems; Functor categories; Injective envelopes; Embedding theorems.
(13511 views)