Lenses, fibrations and universal translations

Michael Johnson, Robert D. Rosebrugh, Richard J. Wood. Lenses, fibrations and universal translations. Mathematical Structures in Computer Science, 22(1):25-42, 2012. [doi]

Abstract

Abstract is missing.