We show how finite limits and colimits can be calculated compositionally using the algebras of spans and cospans, and give as an application a proof of the Kleene Theorem on regular languages.
Calculating Colimits Compositionally
SABADINI, NICOLETTA;WALTERS, ROBERT FRANK CARSLAW
2008-01-01
Abstract
We show how finite limits and colimits can be calculated compositionally using the algebras of spans and cospans, and give as an application a proof of the Kleene Theorem on regular languages.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ugo-volume.pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
DRM non definito
Dimensione
445.73 kB
Formato
Adobe PDF
|
445.73 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
