Timing via Pinwheel Double Categories
Category Theory
2025-04-18 v1 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.2504.12846,
title = {Timing via Pinwheel Double Categories},
author = {Elena Di Lavore and Mario Román},
journal= {arXiv preprint arXiv:2504.12846},
year = {2025}
}
Comments
10 pages, uses formulations from 'Monoidal Context Theory' (arXiv:2404.06192) and 'String Diagrams for Physical Duoidal Categories' (arXiv:2406.19816)