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

Languages

Price History & Forecast

Last 5 days • 5 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 5 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £129 (3 days, 60.0%)

Price range: £128 - £129

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)

Galois Theories (Cambridge Studies in Advanced Mathematics, Series Number 72)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Categories for Types (Cambridge Mathematical Textbooks)

(Co)end Calculus: 468 (London Mathematical Society Lecture Note Series, Series Number 468)

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

Topological Duality for Distributive Lattices: Theory and Applications: 61 (Cambridge Tracts in Theoretical Computer Science, Series Number 61)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Elements of the Representation Theory of Associative Algebras: Techniques of Representation Theory: 65 (London Mathematical Society Student Texts, Series Number 65)

Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Modular Theory in Operator Algebras (Cambridge IISc Series)

Finite-State Techniques: Automata, Transducers and Bimachines: 60 (Cambridge Tracts in Theoretical Computer Science, Series Number 60)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

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

Cohen-Macaulay Rings 2ed: Revised Edition: 39 (Cambridge Studies in Advanced Mathematics, Series Number 39)

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

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

Introduction to Homological Algebra: 38 (Cambridge Studies in Advanced Mathematics, Series Number 38)

A Course in Finite Group Representation Theory (Cambridge Studies in Advanced Mathematics)

Power Algebras over Semirings: With Applications in Mathematics and Computer Science: 488 (Mathematics and Its Applications, 488)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Handbook of Categorical Algebra: Volume 3, Sheaf Theory: 52 (Encyclopedia of Mathematics and its Applications, Series Number 52)

Higher Categories and Homotopical Algebra: 180 (Cambridge Studies in Advanced Mathematics, Series Number 180)

Algebras, Rings and Modules: Lie Algebras and Hopf Algebras (Mathematical Surveys and Monographs)