research
∙
05/02/2022
Cornering Optics
We show that the category of optics in a monoidal category arises natura...
share
research
∙
11/06/2021
Graphical Piecewise-Linear Algebra
Graphical (Linear) Algebra is a family of diagrammatic languages allowin...
research
∙
06/14/2021
String Diagrammatic Electrical Circuit Theory
We develop a comprehensive string diagrammatic treatment of electrical c...
research
∙
05/23/2021
Diagrammatic Polyhedral Algebra
We extend the theory of Interacting Hopf algebras with an order primitiv...
research
∙
05/11/2020
The Safari of Update Structures: Visiting the Lens and Quantum Enclosures
We build upon our recently introduced concept of an update structure to ...
research
∙
01/27/2020