加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本