Categories for Types (Cambridge Mathematical Textbooks) - Image 1

Price loading...

Cambridge University Press Categories for Types (Cambridge Mathematical Textbooks)

Name: Categories for Types (Cambridge Mathematical Textbooks)
Brand: Cambridge University Press

Languages

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521457017
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 12 January 2008
Listed Since: 02 February 2007

Barcode

No barcode data available

Cambridge University Press Categories for Types (Cambridge Mathematical Textbooks)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Type Theory and Formal Proof: An Introduction

Category Theory (Oxford Logic Guides): 52

Category Theory: No. 49 (Oxford Logic Guides)

Category Theory: 52 (Oxford Logic Guides)

Birkhauser An Introduction to the Language of Category Theory

Category Theory and Applications: A Textbook for Beginners: 1 (Category Theory Homological Al)

An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Conceptual Mathematics: A First Introduction to Categories

From Categories to Homotopy Theory: 188 (Cambridge Studies in Advanced Mathematics, Series Number 188)

Starting Category Theory

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)

(Co)end Calculus: 468 (London Mathematical Society Lecture Note Series, Series Number 468)

Category Theory And Applications: A Textbook For Beginners (second Edition)

An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Categories and Computer Science: 28 (Cambridge Computer Science Texts, Series Number 28)

Polynomial Functors: A Mathematical Theory of Interaction: 498 (London Mathematical Society Lecture Note Series, Series Number 498)

Starting Category Theory

Type-Logical Semantics

Categories

Categories, Allegories

Handbook of Categorical Algebra: Categories and Structures v. 2 (Encyclopedia of Mathematics and its Applications 51)

Derived Categories: 183 (Cambridge Studies in Advanced Mathematics, Series Number 183)

Categories and Toposes: Visualized and Explained

The Homotopy Theory of (∞,1)-Categories: 90 (London Mathematical Society Student Texts, Series Number 90)