Related Books

Theoretical Computer Science for the Working Category Theorist
Language: en
Pages: 150
Authors: Noson S. Yanofsky
Categories: Mathematics
Type: BOOK - Published: 2022-03-03 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, whic
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
Theoretical Computer Science for the Working Category Theorist
Language: en
Pages: 148
Authors: Noson S. Yanofsky
Categories: Mathematics
Type: BOOK - Published: 2022-03-03 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, whic
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
An Invitation to Applied Category Theory
Language: en
Pages: 351
Authors: Brendan Fong
Categories: Computers
Type: BOOK - Published: 2019-07-18 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Category theory reveals commonalities between structures of all sorts. This book shows its potential in science, engineering, and beyond.