Lenses, fibrations and universal translations

DOI10.1017/S0960129511000442zbMath1237.68075OpenAlexW1998219992MaRDI QIDQ3225736

Michael Johnson, Robert D. Rosebrugh, Richard J. Wood

Publication date: 22 March 2012

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129511000442

zbMATH Keywords

Grothendieck opfibration

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (10)

Relational lattices: from databases to universal algebra ⋮ Latent Fibrations: Fibrations for Categories of Partial Maps ⋮ Dependent Optics ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Categorical foundations of gradient-based learning ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Internal split opfibrations and cofunctors ⋮ Multiple model synchronization with multiary delta lenses with amendment and K-Putput ⋮ Modalities for an allegorical conceptual data model

Cites Work

• Unnamed Item
• Facets of descent. I
• An order-based theory of updates for closed database views
• Fibrations and universal view updatability
• Properties and update semantics of consistent views
• Update semantics of relational views
• Parametricity and local variables

This page was built for publication: Lenses, fibrations and universal translations