Quantcast

Calculating Colimits Compositionally

Research paper by R. Rosebrugh, N. Sabadini, R. F. C. Walters

Indexed on: 15 Dec '07Published on: 15 Dec '07Published in: Mathematics - Category Theory



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.