15 citations · 19 across the 4 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2024
Rendering string diagrams recursively
Celia Rubio-Madrigal, Jules Hedges
String diagrams are a graphical language used to represent processes that can be composed sequentially or in parallel, which correspond graphically to horizontal or vertical juxtap…
math.CT2021★ 3 cited
Fibre optics
Dylan Braithwaite, Matteo Capucci, Bruno Gavranović +2
Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied categor…