Initial algebras and terminal coalgebras: The theory of fixed points of functors
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F25%3A00389444" target="_blank" >RIV/68407700:21230/25:00389444 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1017/9781108884112" target="_blank" >https://doi.org/10.1017/9781108884112</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/9781108884112" target="_blank" >10.1017/9781108884112</a>
Alternative languages
Result language
angličtina
Original language name
Initial algebras and terminal coalgebras: The theory of fixed points of functors
Original language 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.
Czech name
—
Czech description
—
Classification
Type
B - Specialist book
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
<a href="/en/project/GA22-02964S" target="_blank" >GA22-02964S: Enriched categories and their applications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
ISBN
9781108884112
Number of pages
626
Publisher name
Cambridge University Press
Place of publication
Cambridge
UT code for WoS book
—