10 citations · 16 across the 4 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2021★ 4 cited
Limits and Colimits in a Category of Lenses
Emma Chollet, Bryce Clarke, Michael Johnson +3
Lenses are an important tool in applied category theory. While individual lenses have been widely used in applications, many of the mathematical properties of the corresponding cat…
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…