Relating Algebraic and Coalgebraic Descriptions of Lenses

Conference item

Lenses are a heavily studied form of bidirectional transformation with diverse applications including database view updating, software development and memory management. Recent work has explored lenses category theoretically, and established that the category of lenses for a fixed \"view\" V is, up to isomorphism, the category of algebras for a particular monad on Set/V. In this paper we show that in addition lenses are the coalgebras for the comonad generated by the cartesian closure adjunct...

Expand abstract

Authors: Gibbons, J; Johnson, M

• Host title: Electronic Communications of the EASST
• Volume: 49 (Bidirectional Transformations 2012)
• Publication date: 2012-01-01