We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£59.89
Cambridge University Press Cambridge Categories for Types - Mathematical Textbooks
Price data last checked 48 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£60 today · cheaper than every other day in the last 3 months
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 43 days · 43 data points (no recent data)
Price Distribution
Price distribution over 43 days • 2 price levels
Price Analysis
Most common price: £60 (42 days, 97.7%)
Price range: £60 - £64
Price levels: 2 different prices over 43 days
Description
Key Features
This Cambridge University Press textbook provides a detailed explanation of categorical type theory and its semantics.
The material includes comprehensive coverage of categories, functors, natural transformations, and the Yoneda lemma.
Readers can study advanced topics such as cartesian closed categories, limits, adjunctions, and indexed categories.
The text offers an introduction to ordered set theory, lattices, and domains through the use of practical examples.
Detailed analysis is provided for algebraic, functional, polymorphic functional, and higher order polymorphic functional systems.
Product Specifications
- Format
- paperback
- ASIN
- 0521457017
- 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)
World Scientific Publishing Company
Category Theory and Applications: A Textbook for Beginners: 1 (Category Theory Homological Al)
Scientific Publishing
Categories
Springer
Categories and Toposes: Visualized and Explained
Categories and Computer Science (Cambridge Computer Science Texts): 28 (Cambridge Computer Science Texts, Series Number 28)
Cambridge University Press
Category Theory for the Sciences (The MIT Press)
MIT Press
Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)
Cambridge University Press
Handbook of Categorical Algebra: Categories and Structures v. 2 (Encyclopedia of Mathematics and its Applications 51)
Cambridge University Press
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
A First Course in Category Theory (Universitext)
Springer
An Invitation to Applied Category Theory
Cambridge University Press
2-Dimensional Categories
Oxford University Press
From Categories to Homotopy Theory (Cambridge Studies in Advanced Mathematics): 188 (Cambridge Studies in Advanced Mathematics, Series Number 188)
Cambridge University Press
Elements of ∞-Category Theory: 194 (Cambridge Studies in Advanced Mathematics, Series Number 194)
Cambridge University Press
Tool and Object: A History and Philosophy of Category Theory: 32 (Science Networks. Historical Studies, 32)
Birkhauser
Categories for the Working Philosopher
Oxford University Press
Categories, Allegories
North Holland
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
Cambridge University Press
Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)
Birkhauser
Starting Category Theory
World Scientific Publishing Company
Starting Category Theory
World Scientific Publishing Company
Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing
MIT Press
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
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