£58.23

Cambridge University Press Categories for Types (Cambridge Mathematical Textbooks)

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£58 today · usual range £0–£0 · best ever £54

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 586 days • 586 data points (No recent data available)

Historical
Generating forecast...
£62.99 £53.01 £55.19 £57.37 £59.54 £61.72 £63.90 09 June 2024 02 November 2024 28 March 2025 21 August 2025 15 January 2026

Price Distribution

Price distribution over 586 days • 7 price levels

Days at Price
Current Price
141 days 85 days 169 days 78 days · current 29 days 75 days 9 days 0 42 85 127 169 £54 £55 £57 £58 £60 £61 £63 Days at Price

Price Analysis

Most common price: £57 (169 days, 28.8%)

Price range: £54 - £63

Price levels: 7 different prices over 586 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)

£45.08 14 Jan 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

£47.23 21 Feb 2026
Categories
97% match

Categories

Springer

£41.98 15 Feb 2026
Categories and Toposes: Visualized and Explained
97% match

Categories and Toposes: Visualized and Explained

£61.12 22 Jan 2026
Category Theory (Oxford Logic Guides): 52
97% match

Category Theory (Oxford Logic Guides): 52

Oxford University Press

£59.80 12 Jan 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

£77.39 28 Feb 2026
Category Theory for the Sciences (The MIT Press)
97% match

Category Theory for the Sciences (The MIT Press)

MIT Press

£42.76 26 Jan 2026
Higher Dimensional Categories: From Double To Multiple Categories
97% match

Higher Dimensional Categories: From Double To Multiple Categories

World Scientific Publishing Company

£79.00 09 Dec 2025
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

£42.68 25 Feb 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

£72.40 16 Feb 2026
Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)
97% match

Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)

Elsevier

£86.27 12 Jan 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

£68.39 11 Mar 2026
A First Course in Category Theory (Universitext)
97% match

A First Course in Category Theory (Universitext)

Springer

£43.24 24 Jan 2026
Mathematical Modelling by Help of Category Theory: Abstract Perspectives on Models and Coupling of Models (Mathematical Engineering)
97% match

Mathematical Modelling by Help of Category Theory: Abstract Perspectives on Models and Coupling of Models (Mathematical Engineering)

£106.59 12 Jan 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

£89.79 16 Mar 2026
2-Dimensional Categories
97% match

2-Dimensional Categories

Oxford University Press

£117.50 25 Jan 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

£56.74 24 Jan 2026
Category Theory in Physics, Mathematics, and Philosophy: 235 (Springer Proceedings in Physics, 235)
97% match

Category Theory in Physics, Mathematics, and Philosophy: 235 (Springer Proceedings in Physics, 235)

Springer

£128.80 12 Jan 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)

£59.86 13 Jan 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

£135.89 22 Jan 2026
Categories for the Working Philosopher
97% match

Categories for the Working Philosopher

Oxford University Press

£119.98 14 Jan 2026
Categories, Allegories
96% match

Categories, Allegories

North Holland

£49.99 23 Feb 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

£41.00 20 Jan 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

£130.11 19 Apr 2026