£60.24

Cambridge University Press Categories for Types (Cambridge Mathematical Textbooks)

Price data last checked 38 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£60 today · previous high £60 · all-time low £57

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 53 days · 53 data points (no recent data)

Historical
Generating forecast…
£60.24 £56.92 £57.64 £58.37 £59.09 £59.82 £60.54 26 April 2026 09 May 2026 22 May 2026 04 June 2026 17 June 2026

Price Distribution

Price distribution over 53 days • 2 price levels

Days at Price
Current Price
11 days 42 days · current 0 11 21 32 42 £57 £60 Days at Price

Price Analysis

Most common price: £60 (42 days, 79.2%)

Price range: £57 - £60

Price levels: 2 different prices over 53 days

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

Format
paperback
Domain
Amazon UK
Release Date
12 January 2008
Listed Since
02 February 2007

Barcode

No barcode data available

Similar Products You Might Like

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

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

World Scientific Publishing Company

£45.74 17 Jun 2026
Category Theory and Applications: A Textbook for Beginners: 1 (Category Theory Homological Al)
97% match

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

Scientific Publishing

£68.69 02 Jul 2026
Categories
97% match

Categories

Springer

£41.40 29 Jun 2026
Categories and Toposes: Visualized and Explained
97% match

Categories and Toposes: Visualized and Explained

£61.12 17 Jun 2026
Categories and Computer Science: 28 (Cambridge Computer Science Texts, Series Number 28)
97% match

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

Cambridge University Press

£78.59 04 Jul 2026
Category Theory for the Sciences (The MIT Press)
97% match

Category Theory for the Sciences (The MIT Press)

MIT Press

£45.00 19 Jun 2026
Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)
97% match

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

Cambridge University Press

£43.74 03 Jul 2026
Handbook of Categorical Algebra: Categories and Structures v. 2 (Encyclopedia of Mathematics and its Applications 51)
97% match

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

Cambridge University Press

£71.88 30 Jun 2026
LMS: 177 Applications of Categories: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series, Series Number 177)
97% match

LMS: 177 Applications of Categories: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series, Series Number 177)

Cambridge University Press

£73.68 10 Jul 2026
A First Course in Category Theory (Universitext)
97% match

A First Course in Category Theory (Universitext)

Springer

£41.75 18 Jun 2026
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
97% match

An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Cambridge University Press

£90.75 11 Jul 2026
2-Dimensional Categories
97% match

2-Dimensional Categories

Oxford University Press

£104.99 19 Jun 2026
From Categories to Homotopy Theory: 188 (Cambridge Studies in Advanced Mathematics, Series Number 188)
97% match

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

Cambridge University Press

£54.75 18 Jun 2026
Elements of ∞-Category Theory: 194 (Cambridge Studies in Advanced Mathematics, Series Number 194)
97% match

Elements of ∞-Category Theory: 194 (Cambridge Studies in Advanced Mathematics, Series Number 194)

Cambridge University Press

£60.24 16 Jun 2026
Tool and Object: A History and Philosophy of Category Theory: 32 (Science Networks. Historical Studies, 32)
97% match

Tool and Object: A History and Philosophy of Category Theory: 32 (Science Networks. Historical Studies, 32)

Birkhauser

£109.09 17 Jun 2026
Categories for the Working Philosopher
97% match

Categories for the Working Philosopher

Oxford University Press

£114.86 17 Jun 2026
Categories, Allegories
96% match

Categories, Allegories

North Holland

£49.99 02 Jul 2026
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
96% match

An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Cambridge University Press

£43.58 17 Jun 2026
Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)
96% match

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)

Birkhauser

£140.59 16 Jul 2026
Starting Category Theory
96% match

Starting Category Theory

World Scientific Publishing Company

£37.04 19 Jun 2026
Starting Category Theory
96% match

Starting Category Theory

World Scientific Publishing Company

£88.88 18 Jun 2026
Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing
96% match

Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing

MIT Press

£64.50 24 Jun 2026
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)
96% match

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)

Springer

£142.76 16 Jul 2026
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)
96% match

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)

Springer

£141.86 17 Jun 2026