Hi! I'm Daniele, a category theorist & PL theorist from Italy. Currently I'm working for 20[ ] and CyberCat Institute.
You can also find me on: [github][arXiv][ORCiD].
My email address is [name]++[surname]++[@protonmail.com].
[papers]
> The Essence of Petri Net Gluings w/ Fabrizio Genovese & Fosco Loregian — [arXiv:1909.03518] Conditionally accepted at TAC
> Classifying topoi in synthetic guarded domain theory w/ Jonathan Sterling — [arXiv:2210.04636] MFPS2022
> Escrows are optics w/ Fabrizio Genovese & Fosco Loregian — [pdf] Accepted at JFT
> A Categorical Semantics for Bounded Petri Nets w/ Fabrizio Genovese & Fosco Loregian — [arXiv:2101.09100] ACT2021
> A Categorical Semantics for Hierarchical Petri Nets w/ Fabrizio Genovese, Jelle Herold & Fosco Loregian — [arXiv:2102.00096] GCM2021
> Nets with Mana: A Framework for Chemical Reaction Modelling w/ Fabrizio Genovese & Fosco Loregian — [arXiv:2101.06234] ICGT2021
