Idioma:

Lenses, fibrations and universal translations

JOHNSON, MICHAEL ; ROSEBRUGH, ROBERT ; WOOD, R. J.

Mathematical structures in computer science, 2012-02, Vol.22 (1), p.25-42 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Título:
Lenses, fibrations and universal translations
Autor: JOHNSON, MICHAEL ; ROSEBRUGH, ROBERT ; WOOD, R. J.
Assuntos: Categories ; Complement ; Computer programming ; Computer science ; Computer simulation ; Lenses ; Mathematical models ; Strategy ; Translations
É parte de: Mathematical structures in computer science, 2012-02, Vol.22 (1), p.25-42
Notas: ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
Descrição: 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.
Editor: Cambridge, UK: Cambridge University Press
Idioma: Inglês

Voltar para lista de resultados