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

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

Cites Work

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