We introduce string diagrams for physical duoidal categories (normal ⊗-symmetric duoidal categories): they consist of string diagrams with wires forming a zigzag-free partial order and order-preserving nodes whose inputs and outputs form intervals.
No takes yet. Share an insight, caveat, or question.
Mario Román (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: