Publications
- Fibrational perspectives on determinization of finite-state automata
(2024), accepted to ACT 24
Talks
- Fibrational perspectives on determinization of finite-state automata ,
ACT 24
[slides]
[video]
- A diagrammatic calculus for skew monoidal categories ,
for The Adjoint School, ACT 24
[slides]