Home Home >
Reference >
Computers >
Programming languages >
Initial Algebras and Terminal Coalgebras

Initial Algebras and Terminal Coalgebras

The Theory of Fixed Points of Functors

Jirí Adámek, Stefan Milius, Lawrence S. Moss

Cambridge University Press
Publication date : 2025-02-06

Voir les informations d'accessibilité

Add to basket

£163,52

Download | LCP DRM 🛈 Adobe DRM 🛈

Streaming

Add to my wish list

Louise Reader

Read on Louise Reader App.

Get £24.53 by recommending this book

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.

Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Protection	Application
Ordinateur	-EPUB -PDF	DRM Adobe LCP	Lecture en ligne (streaming) Adobe Digital Editions(DRM Adobe) Thorium Reader (LCP)
Tablette et smartphone iOS / Android	EPUB PDF	LCP DRM Adobe	Application Louise Reader : IOS / Android(ne lit pas les fichiers protégés par Adobe DRM) Adobe Digital Edition : IOS/Android(Lit uniquement la DRM Adobe)
Liseuse	EPUB	DRM Adobe	Module de lecture de la liseuse
Liseuse Diva	EPUB	LCP DRM Adobe	Module de lecture de la liseuse Diva

Consultez l’aide pour en savoir plus.

About the book

Author

Jirí Adámek , Stefan Milius , Lawrence S. Moss

Imprint

Cambridge University Press

Collection

n.c

Publication date

2025-02-06

Pages

n.c

Print ISBN

9781108835466

Language

English

Ebook informations

EAN PDF

9781108880671

Price

£163.52

Copy count 0

Print count 0

File size 6789 Ko

Informations accessibility

Compatibility

To check the compatibility with your devices,
see help page

About author(s)

Jirí Adámek

Stefan Milius

Lawrence S. Moss

You may also be interested in...