Category-theoretic fibration as an abstraction mechanism in information systems

Robert Colomb, Kit Dampney, Michael Johnson

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


This paper examines the problem of establishing a formal relationship of abstraction and refinement between abstract enterprise models and the concrete information systems which implement them. It introduces and justifies a number of reasonableness requirements, which turn out to justify the use of category theoretic concepts, particularly fibrations, to precisely specify a semantics for enterprise models which enables them to be considered as abstractions of the conceptual models from which the implementing information systems are built. The category-theoretic concepts are developed towards the problem of testing whether a system satisfies the fibration axioms, and are applied to case studies to demonstrate their practicability.

Original languageEnglish
Pages (from-to)1-44
Number of pages44
JournalActa Informatica
Issue number1
Publication statusPublished - Sept 2001


Dive into the research topics of 'Category-theoretic fibration as an abstraction mechanism in information systems'. Together they form a unique fingerprint.

Cite this