Shop all MIT Press

Basic Category Theory for Computer Scientists - (Foundations of Computing) by Benjamin C Pierce (Paperback)

Name: Basic Category Theory for Computer Scientists - (Foundations of Computing) by Benjamin C Pierce (Paperback)
Brand: MIT Press
SKU: 89863876
Price: 35.00 USD
Availability: InStock

undefined out of 5 stars with 0 reviews

5 Questions

$35.00

In Stock

Free & easy returns

Return this item by mail or in store within 90 days for a full refund.

Eligible for registries and wish lists

Save 5% every day

With Target Circle™ Card

About this item

Details

Highlights

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.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.
About the Author: Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
116 Pages
Mathematics, Logic
Series Name: Foundations of Computing

Description

About the Book

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.

Book Synopsis

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 preparation, 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. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts.

Contents
Tutorial - Applications - Further Reading

About the Author

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

Specifications

Dimensions (Overall): 8.98 Inches (H) x 7.1 Inches (W) x .38 Inches (D)

Weight: .49 Pounds

Suggested Age: 22 Years and Up

Series Title: Foundations of Computing

Sub-Genre: Logic

Genre: Mathematics

Number of Pages: 116

Publisher: MIT Press

Format: Paperback

Author: Benjamin C Pierce

Language: English

Street Date: August 7, 1991

TCIN: 89863876

UPC: 9780262660716

Item Number (DPCI): 247-09-7412

Origin: Made in the USA or Imported

If the item details aren’t accurate or complete, we want to know about it.

Shipping & Returns

Shipping details

Estimated ship dimensions: 0.38 inches length x 7.1 inches width x 8.98 inches height

Estimated ship weight: 0.49 pounds

We regret that this item cannot be shipped to PO Boxes.

This item cannot be shipped to the following locations: American Samoa (see also separate entry under AS), Guam (see also separate entry under GU), Northern Mariana Islands, Puerto Rico (see also separate entry under PR), United States Minor Outlying Islands, Virgin Islands, U.S., APO/FPO, Alaska, Hawaii

Return details

This item can be returned to any Target store or Target.com.

This item must be returned within 90 days of the date it was purchased in store, delivered to the guest, delivered by a Shipt shopper, or picked up by the guest.

See the return policy for complete information.