Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Initial Algebras and Terminal Coalgebras

Initial Algebras and Terminal Coalgebras

Adámek, Jiří
Milius, Stefan
Moss, Lawrence S.

Hardcover

Series: Cambridge Tracts in Theoretical Computer Science, Book 62

AlgebraProgramming

ISBN10: 1108835465
ISBN13: 9781108835466
Publisher: Cambridge University Press
Published: Feb 6 2025
Pages: 640
Weight: 2.25
Height: 1.38 Width: 6.00 Depth: 9.00
Language: English
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.

Also in

Programming

View All