28 research outputs found

    Calculating Colimits Compositionally

    Get PDF
    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
    corecore