Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors
Book Details
Format
Hardback or Cased Book
Book Series
Cambridge Tracts in Theoretical Computer Science
ISBN-10
1108835465
ISBN-13
9781108835466
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Feb 6th, 2025
Print length
640 Pages
Weight
1,136 grams
Dimensions
22.90 x 15.20 x 3.50 cms
Product Classification:
Mathematical logicAlgebraMathematical theory of computation
Ksh 27,900.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
This definitive treatment of results in category theory and theoretical computer science covers classical material from new viewpoints and develops a wealth of new topics. The centrepiece is a collection of existence theorems for initial algebras and terminal coalgebras. It will be the standard reference for years to come.
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.
Get Initial Algebras and Terminal Coalgebras by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.