Calculating Colimits Compositionally
Category Theory
2007-12-18 v1
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.
Cite
@article{arxiv.0712.2525,
title = {Calculating Colimits Compositionally},
author = {R. Rosebrugh and N. Sabadini and R. F. C. Walters},
journal= {arXiv preprint arXiv:0712.2525},
year = {2007}
}