4 citations · 7 across the 7 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2022
Propification and the Scalable Comonad
Titouan Carette
String diagrams can nicely express numerous computations in symmetric strict monoidal categories (SSMC). To be entirely exact, this is only true for props: the SSMCs whose monoid o…
math.CT2021
When Only Topology Matters
Titouan Carette
Graphical languages are symmetric monoidal categories presented by generators and equations. The string diagrams notation allows to transform numerous axioms into low dimension top…