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

£129.43

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: 129.43 GBP
Availability: InStock

Languages

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

£129 today · usual range £0–£0 · best ever £121

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

Historical

Generating forecast...

Price Distribution

Price distribution over 151 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £124-126 (55 days, 36.4%)

Price range: £121 - £134

Price levels: 5 price ranges over 151 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 > Computing & Internet > Programming > Languages
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)

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

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

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)

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)

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)

Homotopy Theory of Enriched Mackey Functors: Closed Multicategories, Permutative Enrichments, and Algebraic Foundations for Spectral Mackey Functors: ... Lecture Note Series, Series Number 492)

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)

Category Theory (Oxford Logic Guides): 52

Cogroups and Co-rings in Categories of Associative Rings (Mathematical Surveys and Monographs)