𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Basic category theory for computer scientists

✍ Scribed by Benjamin C. Pierce

Book ID
127421044
Publisher
MIT Press
Year
1991
Tongue
English
Weight
5 MB
Series
Foundations of computing
Edition
1
Category
Library
City
Cambridge, Mass
ISBN-13
9780262660716

No coin nor oath required. For personal study only.

✦ Synopsis

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.

✦ Subjects

Теория категорий

📜 SIMILAR VOLUMES

Categories, types, and structures. Intro
Categories, types, and structures. Introduction to category theory for computer scientists
✍ Andrea Asperti, Giuseppe Longo 📂 Library 📅 1991 🏛 The MIT Press 🌐 English ⚖ 2 MB

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programs using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer

Basic Category Theory
Basic Category Theory
✍ van Oosten J. 📂 Library 📅 1995 🌐 English ⚖ 490 KB

Category theory has come to occupy a central position in contemporary mathematics and theoretical computer science, and is also applied to mathematical physics. Roughly, it is a general mathematical theory of structures and of systems of structures. As category theory is still evolving, its function

Computational category theory
Computational category theory
✍ D. E. Rydeheard, Burstall 📂 Library 📅 1988 🏛 Prentice Hall 🌐 English ⚖ 931 KB