10 citations · 16 across the 4 of their papers we have counts for
4 papers
Counting Votes with Multisets
Bart Jacobs, Michael Johnson, Richard Buckland
A multiset is a 'set' in which elements may occur multiple times. These structures are ideal for expressing the outcome of an election, for instance of the form 60 'yes' and 40 'no…
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…
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…
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…