Towards optic-based algebraic theories: the case of lenses
scientific article; zbMATH DE number 7772931