Total: 1
Authors: Elena Di Lavore, Mario Román
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.
Subjects: Category Theory , Logic in Computer Science
Publish: 2025-04-17 11:02:52 UTC
Include(OR):
Exclude:
Search
Filter
Highlight
Stared Paper(s):
#1 Timing via Pinwheel Double Categories
Export
Magic Token:
Kimi Language:
Desc Language:
Save
Bug report? Issue submit? Please visit:
Github: https://github.com/bojone/papers.cool
Please read our Disclaimer before proceeding.
For more interesting features, please visit kexue.fm and kimi.ai.