2007/12/15 by R. Rosebrugh, Robert Rosebrugh, Rosebrugh, R. +4
Computer Science · Mathematics · #18A30 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Logic, programming, and type systems #math.CT #msc:18A30 #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.0712.2525
arxiv created 2007/12/15 · openalex publication_date 2007/12/15 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.