Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors: Series Number 62 (Cambridge Tracts in Theoretical Computer Science, Series Number 62) - Image 1

£134.54

Cambridge University Press Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors: Series Number 62 (Cambridge Tracts in Theoretical Computer Science, Series Number 62)

Name: Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors: Series Number 62 (Cambridge Tracts in Theoretical Computer Science, Series Number 62)
Brand: Cambridge University Press
Price: 134.54 GBP
Availability: InStock

Mathematical Logic

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£135 today · all-time low £132 (Apr 2026) · usually the usual

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 57 days · 57 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 57 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £133 (23 days, 40.4%)

Price range: £132 - £135

Price levels: 3 different prices over 57 days

Description

Providing an in-depth treatment of an exciting research area, this text's central topics are initial algebras and terminal coalgebras, primary objects of study in all areas of theoretical computer science connected to semantics. It contains a thorough presentation of iterative constructions, giving both classical and new results on terminal coalgebras obtained by limits of canonical chains, and initial algebras obtained by colimits. These constructions are also developed in enriched settings, especially those enriched over complete partial orders and complete metric spaces, connecting the book to topics like domain theory. Also included are an extensive treatment of set functors, and the first book-length presentation of the rational fixed point of a functor, and of lifting results which connect fixed points of set functors with fixed points of endofunctors on other categories. Representing more than fifteen years of work, this will be the leading text on the subject for years to come.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1108835465
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 06 February 2025
Listed Since: 11 March 2024

Barcode

No barcode data available

Cambridge University Press Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors: Series Number 62 (Cambridge Tracts in Theoretical Computer Science, Series Number 62)

About as cheap as it gets. The only time it was cheaper was 3 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Category Theory: No. 49 (Oxford Logic Guides)

An Introduction to K-Theory for C*-Algebras: 49 (London Mathematical Society Student Texts, Series Number 49)

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

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

A First Course in Category Theory (Universitext)

Category Theory: Invariances and Symmetries in Computer Science

Categories for the Working Mathematician: 5 (Graduate Texts in Mathematics, 5)

An Introduction to K-Theory for C*-Algebras: 49 (London Mathematical Society Student Texts, Series Number 49)

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

Mathematics in Programming

Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)

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

On Operads, Bimodules and Analytic Functors (Memoirs of the American Mathematical Society)

Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory

Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)

Basic Category Theory: 143 (Cambridge Studies in Advanced Mathematics, Series Number 143)

Category Theory: 52 (Oxford Logic Guides)

A Course In Modern Algebra: 12 (Wiley Classics Library)

An Invitation to General Algebra and Universal Constructions: 351 (Universitext)

Combinatorial Set Theory of C*-algebras (Springer Monographs in Mathematics)