Cover Image

Basic category theory for computer scientists /

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical prep...

Full description

Bibliographic Details
Main Author:	Pierce, Benjamin C.
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1991.
Series:	Foundations of computing
Subjects:	Computer science > Mathematics. Categories (Mathematics) Algebra COMPUTER SCIENCE/General Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Category theory for computer science /
by: Barr, Michael, 1937-
Published: (1990)

Category theory and computer science : 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings /
Published: (1997)

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Published: (1992)

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /
Published: (1989)

Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings /
Published: (1986)

Category theory /
by: Awodey, Steve, 1959-
Published: (2006)

Category theory and computer science : Paris, France, September 3-6, 1991, proceedings /
Published: (1991)

Categories, types, and structures : an introduction to category theory for the working computer scientist /
by: Asperti, Andrea
Published: (1991)

Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings /
Published: (1989)

Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings /
Published: (1987)

Category theory for the sciences /
by: Spivak, David I., 1978-
Published: (2014)

Categories and modules with K-theory in view /
by: Berrick, A. J. (A. Jon)
Published: (2000)

Basic category theory /
by: Leinster, Tom, 1971-
Published: (2014)

Reports of the Midwest Category Seminar /
Published: (1967)

Theory of categories /
Published: (1971)

Categories, allegories /
by: Freyd, Peter J.
Published: (1990)

Decomposition and dimension in module categories /
by: Golan, Jonathan S.
Published: (2017)

Rings and categories of modules /
by: Anderson, Frank W. (Frank Wylie), 1928-
Published: (1992)

Rings and categories of modules /
by: Anderson, Frank W. (Frank Wylie), 1928-
Published: (1974)

Categories tannakiennes.
by: Saavedra Rivano, Neantro
Published: (1972)

Categories of algebraic systems : vector and projective spaces, semigroups, rings, and lattices /
by: Petrich, Mario
Published: (1976)

Indexed categories and their applications /
Published: (1978)

Categories and functors /
by: Pareigis, Bodo
Published: (1970)

Differential tensor algebras and their module categories /
by: Bautista, R., 1943-
Published: (2009)

Factor categories with applications to direct decomposition of modules /
by: Harada, Manabu
Published: (1983)

Reports of the Midwest Category Seminar III /
Published: (1969)

Elementary categories, elementary toposes /
by: McLarty, Colin
Published: (1995)

Decomposition and dimension in module categories /
by: Golan, Jonathan S.
Published: (1977)

Theory of modules : an introduction to the theory of module categories /
by: Solian, Alexandru
Published: (1977)

Category theory for the sciences /
by: Spivak, David I., 1978-
Published: (2014)

Divisor theory in module categories /
by: Vasconcelos, Wolmer V.
Published: (1974)

Monoids, acts, and categories : with applications to wreath products and graphs : a handbook for students and researchers /
by: Kilʹp, M.
Published: (2000)

Algebra, topology, and category theory : a collection of papers in honor of Samuel Eilenberg /
Published: (1976)

Reports of the Midwest category seminar IV /
Published: (1970)

Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 /
Published: (1991)

Category theory /
by: Awodey, Steve, 1959-
Published: (2006)

Category theory /
by: Awodey, Steve, 1959-
Published: (2010)

Theory of categories.
by: Mitchell, Barry
Published: (1965)

Module categories of analytic groups /
by: Magid, Andy R. (Andy Roy), 1944-
Published: (1982)

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
Published: (1995)