2 citations · 4 across the 3 of their papers we have counts for
3 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…
math.CT2011
Tangled Circuits
R. Rosebrugh, N. Sabadini, R. F. C. Walters
The theme of the paper is the use of commutative Frobenius algebras in braided strict monoidal categories in the study of varieties of circuits and communicating systems which occu…
math.CT2007★ 2 cited
Calculating Colimits Compositionally
R. Rosebrugh, N. Sabadini, R. F. C. Walters
We show how finite limits and colimits can be calculated compositionally using the algebras of spans and cospans, and give as an application a proof of the Kleene Theorem on regula…