Related Books

Basic Category Theory for Computer Scientists
Language: en
Pages: 117
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: MIT Press

DOWNLOAD EBOOK

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l
Category Theory for Computing Science
Language: en
Pages: 352
Authors: Michael Barr
Categories: Computers
Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK

A wide coverage of topics in category theory and computer science is developed in this text, including introductory treatments of cartesian closed categories, s
Categories, Types, and Structures
Language: en
Pages: 330
Authors: Andrea Asperti
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: MIT Press (MA)

DOWNLOAD EBOOK

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the des
Categories and Computer Science
Language: en
Pages: 180
Authors: R. F. C. Walters
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of th
Category Theory for the Sciences
Language: en
Pages: 495
Authors: David I. Spivak
Categories: Mathematics
Type: BOOK - Published: 2014-10-17 - Publisher: MIT Press

DOWNLOAD EBOOK

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. Category theory was invented in