4 citations · 4 across the 2 of their papers we have counts for
2 papers
math.CT2022★ 4 cited
Seeing double through dependent optics
Matteo Capucci
Tambara modules are strong profunctors between monoidal categories. They've been defined by Tambara in the context of representation theory, but quickly found their way in applicat…
cs.NI2022
Lenses for Composable Servers
Andre Videla, Matteo Capucci
We implement the semantics of server operations using parameterised lenses. They allow us to define endpoints and extend them using classical lens composition. The parameterised na…