Adhesive categories

Stephen Lack, Pawel Sobocinski

    Research output: Chapter in Book / Conference PaperConference Paper

    Abstract

    ![CDATA[We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well behaved. Many types of graphical structures used in computer science are shown to be examples of adhesive categories. Double-pushout graph rewriting generalises well to rewriting on arbitrary adhesive categories.]]
    Original languageEnglish
    Title of host publicationFoundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : Proceedings
    PublisherSpringer
    Number of pages16
    ISBN (Print)9783540212980
    Publication statusPublished - 2004
    EventFOSSACS 2004 -
    Duration: 1 Jan 2004 → …

    Conference

    ConferenceFOSSACS 2004
    Period1/01/04 → …

    Fingerprint

    Dive into the research topics of 'Adhesive categories'. Together they form a unique fingerprint.

    Cite this