A Description of Iterative Reflections of Monads

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F09%3A00154654" target="_blank" >RIV/68407700:21230/09:00154654 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

A Description of Iterative Reflections of Monads

Original language description

For ideal monads in Set (e. g. the finite list monad, the finite bag monad etc.) we have recently proved that every set generates a free iterative algebra. This gives rise to a new monad. We prove now that this monad is iterative in the sense of Calvin Elgot, in fact, this is the iterative reflection of the given ideal monad. This shows how to freely add unique solutions of recursive equations to a given algebraic theory. Examples: the monad of free commutative binary algebras has the monad of binary rational unordered trees as iterative reflection, and the finite list monad has the iterative reflection given by adding an absorbing element.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/GA201%2F06%2F0664" target="_blank" >GA201/06/0664: Categorical methods of the theory of structures</a><br>

Continuities

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

Publication year

2009

Confidentiality

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

Article name in the collection

Proceedings of FoSSaCS 2009

ISBN

978-3-642-00595-4

ISSN

—

e-ISSN

—

Number of pages

15

Pages from-to

—

Publisher name

Springer

Place of publication

London

Event location

York

Event date

Mar 22, 2009

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000265829200012