10 citations · 12 across the 2 of their papers we have counts for
2 papers
math.CT2021★ 2 cited
The more legs the merrier: A new composition for symmetric (multi-)lenses
Michael Johnson, Robert Rosebrugh
Lenses are a category theoretic construct and are used in a wide variety of applications. Symmetric lenses compose to, of course, form new symmetric lenses. Symmetric lenses are us…
cs.LG2019★ 10 cited
Lenses and Learners
Brendan Fong, Michael Johnson
Lenses are a well-established structure for modelling bidirectional transformations, such as the interactions between a database and a view of it. Lenses may be symmetric or asymme…