Calculating Colimits Compositionally Export

@misc{citeulike:2143516, 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.}, archivePrefix = {arXiv}, author = {Rosebrugh, R. and Sabadini, N. and Walters, R. F. C.}, citeulike-article-id = {2143516}, citeulike-linkout-0 = {http://arxiv.org/abs/0712.2525}, citeulike-linkout-1 = {http://arxiv.org/pdf/0712.2525}, day = {15}, eprint = {0712.2525}, keywords = {category-theory, computation, languages, mathematics}, month = {Dec}, posted-at = {2007-12-19 01:40:50}, priority = {3}, title = {Calculating Colimits Compositionally}, url = {http://arxiv.org/abs/0712.2525}, year = {2007} }

TY - ELEC ID - citeulike:2143516 L3 - citeulike-article-id:2143516 N2 - 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. TI - Calculating Colimits Compositionally KW - category-theory KW - computation KW - languages KW - mathematics AU - Rosebrugh, R AU - Sabadini, N AU - Walters, RFC PY - 2007/Dec/15/ UR - http://arxiv.org/abs/0712.2525 ER -