Dan's webpage


Hi! I'm Daniele, an aspiring category theorist from Italy. Here's my CV.
You can also find me on: [github] [arXiv] [ORCiD].
My email address is [name]++[surname]++[@protonmail.com].


[papers]

> Classifying topoi in synthetic guarded domain theory
w/ Jonathan Sterling[pdf]
Preprint

> Escrows are optics
w/ Fabrizio Genovese & Fosco Loregian[arXiv:2105.10028]
Under review

> 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


[misc]

I volunteer as a webmaster for Progetto ItaCa.