A categorical theory of patches

DOI10.1016/J.ENTCS.2013.09.018zbMath1334.68138arXiv1311.3903OpenAlexW1993230497WikidataQ113317956 ScholiaQ113317956MaRDI QIDQ265821

Cinzia Di Giusto, Samuel Mimram

Publication date: 12 April 2016

Full work available at URL: https://arxiv.org/abs/1311.3903

zbMATH Keywords

category theorycategory of files and patchescoinitial patchfree completion under finite colimitspushoutuniversal property

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Special categories (18B99) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Homotopical patch theory ⋮ Institutions for SQL database schemas and datasets ⋮ Towards a taxonomy for reversible computation approaches

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sheaves in geometry and logic: a first introduction to topos theory
• Connected components and colimits
• The comprehensive factorization of a functor

This page was built for publication: A categorical theory of patches