Initial algebras and terminal coalgebras: The theory of fixed points of functors

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Initial algebras and terminal coalgebras: The theory of fixed points of functors

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Initial algebras and terminal coalgebras: The theory of fixed points of functors

Popis výsledku anglicky

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.

Druh

B - Odborná kniha

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GA22-02964S" target="_blank" >GA22-02964S: Obohacené kategorie a jejich aplikace</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2025

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

9781108884112

Počet stran knihy

626

Název nakladatele

Cambridge University Press

Místo vydání

Cambridge

Kód UT WoS knihy

—