Return to Article Details Relating Algebraic and Coalgebraic Descriptions of Lenses Download Download PDF