• Publications
  • Influence
The combinatorics of n-categorical pasting☆
Abstract The purpose of this paper is to prove the n -category pasting theorem. The theorem, which asserts that the categorical operation of pasting is well defined, has not previously been proved,Expand
Fibrations and universal view updatability
TLDR
This paper presents a new treatment of view updates for formally specified semantic data models based on the category theoretic sketch data model, and proves that in a variety of circumstances updatability is guaranteed independently of the current model. Expand
Lenses and Learners
TLDR
This paper shows both that there is a faithful, identity-on-objects symmetric monoidal functor embedding a category of asymmetric lenses into the category of learners, and furthermore there is such a functorEmbedding the categories of learners into a categories of symmetric lenses. Expand
Lenses, fibrations and universal translations†
TLDR
A variation on the lens concept called a c-lens is introduced, and shown to correspond to the categorical notion of Grothendieck opfibration, which guarantees a universal solution to the view update problem for functorial update processes. Expand
Entity-relationship-attribute designs and sketches
TLDR
It is argued that the finite-limit, finite-sum sketches with a terminal node are the appropriate class and call them EA sketches, suitable for description of ERA models and their constraints. Expand
View Updatability Based on the Models of a Formal Specification
TLDR
This paper defines view updates by a universal property in a subcategory of models of the formal specification, and explains why this indeed gives a comprehensive treatment of view updatability, including a solution to the view update problem. Expand
On category theory as a (meta) ontology for information systems research
TLDR
The role of category theory as an ontological tool for information systems research is discussed and its use with anumber of examples including system specification, the definitions of views and view updates, and system interoperations are illustrated. Expand
Universal Arrow Foundations for Visual Modeling
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the diversity ofExpand
Unifying Set-Based, Delta-Based and Edit-Based Lenses
TLDR
A substantial unication with concrete inter-conversions developed among the three main approaches to lenses in both their symmetric and asymmetric forms is provided. Expand
On the Value of Commutative Diagrams in Information Modelling
TLDR
This paper shows how commutative diagrams have been used to develop new methodologies in ER-modelling, constraint specification and process modelling, and suggests new but as yet untested techniques for information model partitioning and information system architecture. Expand
...
1
2
3
4
5
...