@inbook{8395a089610247b990943a92058e7d88,
title = "On the value of commutative diagrams in information modelling",
abstract = "Category theory has been widely used in computer science, but usually in a very sophisticated manner. This paper argues that elementary category theoretic notions can have important value in the “real world” of software engineering. Perhaps the most elementary categorical notion is that of commutative diagram. Drawing on experience from several applications of category theory to information modelling in major business enterprises we show how commutative diagrams have been used to develop new methodologies in ER-modelling, constraint specification and process modelling. They also suggest new but as yet untested techniques for information model partitioning and information system architecture. The methodologies described here have a firm theoretical basis using the recently isolated theory of lextensive categories and this basis is briefly outlined.",
author = "Michael Johnson and Dampney, \{C. N. G.\}",
year = "1994",
language = "English",
isbn = "9783540198529",
series = "Workshops in Computing",
publisher = "Springer, Springer Nature",
pages = "45--58",
editor = "M. Nivat and C. Rattray and T. Rus and G. Scollo",
booktitle = "Algebraic Methodology and Software Technology",
address = "United States",
}