1 citations · 1 across the 3 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2024
String Diagrams for Physical Duoidal Categories
Mario Román
We introduce string diagrams for physical duoidal categories (normal -symmetric duoidal categories): they consist of string diagrams with wires forming a zigzag-free parti…
math.CT2024
Monoidal Context Theory
Mario Román
We universally characterize the produoidal category of monoidal lenses over a monoidal category. In the same way that each category induces a cofree promonoidal category of spliced…