Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors | Agenda Bookshop Skip to content
Please note that books with a 10-20 working days delivery time may not arrive before Christmas.
Please note that books with a 10-20 working days delivery time may not arrive before Christmas.
A01=Jií Adámek
A01=Lawrence S. Moss
A01=Stefan Milius
Age Group_Uncategorized
Age Group_Uncategorized
Author_Jií Adámek
Author_Lawrence S. Moss
Author_Stefan Milius
automatic-update
Category1=Non-Fiction
Category=PBCD
Category=PBF
Category=UYA
COP=United Kingdom
Delivery_Delivery within 10-20 working days
Language_English
PA=Available
Price_€100 and above
PS=Active
softlaunch

Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors

★★★★★
★★★★★

English

By (author): Jií Adámek Lawrence S. Moss Stefan Milius

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. See more
€160.54
€168.99
Save 5%
A01=Jií AdámekA01=Lawrence S. MossA01=Stefan MiliusAge Group_UncategorizedAuthor_Jií AdámekAuthor_Lawrence S. MossAuthor_Stefan Miliusautomatic-updateCategory1=Non-FictionCategory=PBCDCategory=PBFCategory=UYACOP=United KingdomDelivery_Delivery within 10-20 working daysLanguage_EnglishPA=AvailablePrice_€100 and abovePS=Activesoftlaunch
Delivery/Collection within 10-20 working days
Product Details
  • Publication Date: 30 Sep 2024
  • Publisher: Cambridge University Press
  • Publication City/Country: United Kingdom
  • Language: English
  • ISBN13: 9781108835466

About Jií AdámekLawrence S. MossStefan Milius

Jií Adámek is Professor in the Department of Mathematics at Czech Technical University Prague and Professor Emeritus in the Department of Computer Science at Technical University Braunschweig. He has authored and co-authored ten books including 'Locally Presentable and Accessible Categories' (1994) 'Abstract and Concrete Categories' (1990) and 'Algebraic Theories' (2011). He is an EATCS Fellow. Stefan Milius is Professor in the Department of Computer Science at Friedrich-Alexander Universität Erlangen-Nürnberg. An expert in the theory of coalgebras he is also well known for his work on the category-theoretic approach to the semantics of iteration and recursion for which he has won the prestigious Ackermann Award and he is one of the inventors of the categorical approach to algebraic language theory. Lawrence S. Moss is Professor in the Mathematics Department at Indiana University. He is President of the Association for Logic Language and Information and co-authored 'Vicious Circles' (1996) and 'Mathematical Structures in Language' (2016). He is known for work on dynamic epistemic logic non-wellfounded sets and circularity coalgebra natural logic and other areas of logic and mathematics.

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept