Lenses, fibrations and universal translations

Michael Johnson*, Robert Rosebrugh, R. J. Wood

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

31 Citations (Scopus)


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 updating strategy also corresponds to a lens for a categorical database model. A variation on the lens concept called a c-lens is introduced, and shown to correspond to the categorical notion of Grothendieck opfibration. This variant guarantees a universal solution to the view update problem for functorial update processes.

Original languageEnglish
Pages (from-to)25-42
Number of pages18
JournalMathematical Structures in Computer Science
Issue number1
Publication statusPublished - Feb 2012

Fingerprint Dive into the research topics of 'Lenses, fibrations and universal translations'. Together they form a unique fingerprint.

Cite this