Initial Algebras and Terminal Coalgebras

The Theory of Fixed Points of Functors

By: Jiri Adamek, Stefan Milius, Lawrence S. Moss

Write A Review

Hardcover | 6 February 2025

At a Glance

Hardcover
642 Pages

Dimensions(cm)
22.86 x 15.24 x 3.51

Hardcover

RRP $298.95

$289.95

or 4 interest-free payments of $72.49 with

or

Aims to ship in 7 to 10 business days

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 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 on other categories. Representing more than fifteen years of work, this will be the leading text on the subject for years to come.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.