research
∙
05/04/2023
Optics for Premonoidal Categories
We further the theory of optics or "circuits-with-holes" to encompass pr...
share
research
∙
01/27/2023
The Produoidal Algebra of Process Decomposition
We introduce the normal produoidal category of monoidal contexts over an...
research
∙
05/18/2022
Coend Optics for Quantum Combs
We compare two possible ways of defining a category of 1-combs, the firs...
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
∙
04/22/2020
