This book is an invitation to discover advanced topics in category theory through concrete,
real-world examples. It aims to give a tour: a gentle, quick introduction to guide later …

In this paper we present a simple database definition language: that of categories and
functors. A database schema is a small category and an instance is a set-valued functor on …

This paper extends the 'lens' concept for view updating in Computer Science beyond the
categories of sets and ordered sets. It is first shown that a constant complement view …

Entity-Relationship-Attribute ideas are commonly used to specify and design information
systems. They use a graphical technique for displaying the objects of the system and …

We compare the delta lenses, also known as d-lenses, of Diskin et al. with the c-lenses,
known to be equivalent to opfibrations, already studied by the authors. Contrary to …

Maintainability and modifiability of information system software can be enhanced by the
provision of comprehensive support for views, since view support allows application …

Abstract The classical (Bancilhon-Spyratos) correspondence between view update
translations and views with a constant complement reappears more generally as the …

When different mathematical models are used for software analysis and development it is
important to understand their relationships. When the models are truly mathematical, and …

In this paper, we define a category DB, called the category of simplicial databases, whose
objects are databases and whose morphisms are data-preserving maps. Along the way we …

Category theory offers a mathematical foundation for knowledge representation and
database systems. Popular existing approaches model a database instance as a functor into …