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

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4293501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222751 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934579 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Connected components and colimits / rank
 
Normal rank
Property / cites work
 
Property / cites work: The comprehensive factorization of a functor / rank
 
Normal rank

Revision as of 18:23, 11 July 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
    0 references
    0 references
    0 references