A categorical theory of patches (Q265821): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 01:46, 30 January 2024

scientific article
Language Label Description Also known as
English
A categorical theory of patches
scientific article

    Statements

    A categorical theory of patches (English)
    0 references
    0 references
    0 references
    12 April 2016
    0 references
    category theory
    0 references
    coinitial patch
    0 references
    universal property
    0 references
    category of files and patches
    0 references
    pushout
    0 references
    free completion under finite colimits
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references