Pierce, Benjamin C.
Basic Category Theory for Computer Scientists (Foundations of Computing)
(No reviews yet)
Write a Review
- ISBN 13:
- 9780262660716
- author:
- Pierce, Benjamin C.
- format:
- Paperback
- publisher:
- MIT Press
- language:
- English
- Publication Year:
- 1991
- Pages:
- 114
- Genre:
- Category theory
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
Category theory provides a fundamental framework for understanding complex systems in computer science. This book offers a clear introduction to its basic concepts and applications.
It covers key topics such as limits, functors, natural transformations, adjoints, and cartesian closed categories, making it an essential resource for those looking to develop their mathematical foundations in computer science.
The book includes four case studies illustrating the use of category theory in programming language design, semantics, and solving recursive domain equations, as well as a brief literature survey to guide further study.
Related Products
Related Products
Theoretical Computer Science for the Working Category Theorist (Elements in Applied Category Theory)
Yanofsky, Noson S.
£20.88
This Element introduces the fundamental concepts and proves the main theorems of theoretical computer science using basic category theory. Category theory provides a unique framework for...
The Musings of a BiPolar Computer Scientist
Shepherd, Rebecca
£12.55
The Musings of a BiPolar Computer Scientist is a poignant collection of poetry written by Rebecca Shepherd. This personal and introspective work explores themes of mental health, identity, and the...
A Computer Scientist's Guide to Cell Biology
Cohen, William W.
£33.21
A Computer Scientist's Guide to Cell Biology by William W. Cohen and Charles K. Cohen is an introduction to cell biology designed for computer scientists. This book breaks down cell biology into...
An Introduction to Lambda Calculi for Computer Scientists
Hankin, Chris
£14.91
Lambda Calculi for Computer Scientists The lambda-calculus is a fundamental concept in computer science, with significant influence on programming language design and implementation. This book...
Computer Jargon: The - Illustrated Glossary of - Basic Computer Terminology
Wilson, Kevin
£19.73
Master computer jargon with ease using this illustrated glossary. Even for moderately experienced users, technical terms can be confusing.This step-by-step guide helps you quickly decode the jargon,...