The following pages link to Props in Network Theory (Q4585017):
Displayed 18 items.
- 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)
- Graphical piecewise-linear algebra (Q6181925) (← links)
- Bidirectional processes -- in category theory, physics, engineering, \dots (Q6193537) (← links)
- (Q6193831) (← links)
- Categories of Differentiable Polynomial Circuits for Machine Learning (Q6393524) (← links)