The following pages link to Props in Network Theory (Q4585017):
Displaying 20 items.
- A recipe for black box functors (Q3294963) (← links)
- Categorifying the ZX-calculus (Q3384948) (← links)
- Universal Properties in Quantum Theory (Q3385637) (← links)
- Open systems in classical mechanics (Q3388195) (← links)
- A Compositional Framework for Passive Linear Networks (Q4555338) (← links)
- Spans of cospans in a topos (Q4563224) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- DisCoPy: Monoidal Categories in Python (Q5019676) (← links)
- (Q5091270) (← links)
- (Q5092417) (← links)
- Structured Cospans (Q5137917) (← links)
- A bicategory of decorated cospans (Q5364132) (← links)
- (Q5875359) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- An axiomatic approach to differentiation of polynomial circuits (Q6052943) (← links)
- Categorifying equivariant monoids (Q6583745) (← links)
- Towards a compositional framework for convex analysis (with applications to probability theory) (Q6629457) (← links)
- An algebraic axiomatisation of ZX-calculus (Q6645591) (← links)
- A compositional approach to parity games (Q6653762) (← links)
- A compositional framework for Petri nets (Q6666780) (← links)
