Score: 0
Timing via Pinwheel Double Categories
Published: April 17, 2025 |
arXiv ID: 2504.12846v1
By: Elena Di Lavore, Mario Román
Potential Business Impact:
Makes computer programs understand time better.
Business Areas:
Table Tennis
Sports
We discuss string diagrams for timed process theories -- represented by duoidally-graded symmetric strict monoidal categories -- built upon the string diagrams of pinwheel double categories.
Similar Papers
86%
String Diagrams for Closed Symmetric Monoidal Categories
Logic in Computer Science
Draws math ideas with pictures, making them easier.
6 Dec 2025
0
83%
Categorical generalization of spectral decomposition
Logic in Computer Science
Makes math rules work for computers better.
24 Apr 2025
0
83%
First-Order Modal Logic via Logical Categories
Logic in Computer Science
Makes computers understand logic better.
3 Apr 2025
0