Davide Castelnovo

I am a PhD student in the Department of Mathematics, Physics and Computer Science at the University of Udine. My supervisor is Marino Miculan.

My main research area is category theory and its interaction with algebra and with theoretical computer science.

Since June 2023, I have been working in the Department of Mathematics at the University of Padova.

Ongoing projects

• Together with Luca Geatti I'm writing a paper on Krohn-Rhodes Theorem.
• I'm trying to use Mitchell Theorem to characterize epimorphisms in various categories.
• Closure operators can be used to provide a semantics to SLCS.
• It would be nice to have a general framework in which to accomodate various notions of entropy.
• I'm working with Greta Coraglia, Fosco Loregian and Ülo Reimaa on a thing called the fibration of algebras.

Talks

• FoSSaCS 25, A new criterion for M,N-adhesivity, with an application to hierarchical graphs, Munich, 6 April 2022 (slides).
• GReTA, A new criterion for M,N-adhesivity, with an application to hierarchical graphs, online, 17 June 2022 (recording).
• CSL 2022, Fuzzy Algebraic Theories, Göttingen, 18 February 2022 (slides).
• TallCat, Fuzzy Algebraic Theories, Tallinn, 27 January 2022.
• CALCO 9, Closure Hyperdoctrines, Salzburg, 2 September 2021 (slides).
• TallCat, Equational theories in an enriched context, Tallinn, 8 October 2020.

Publications

• Davide Castelnovo, Fabio Gadducci, Marino Miculan, A new criterion for M,N-adhesivity, with an application to hierarchical graphs, 2022, Proceedings of the 25^th International Conference on Foundations of Software Science and Computation Structures (link).
• Davide Castelnovo, Marino Miculan, Fuzzy Algebraic Theories, 2022, Proceedings of the 30^th EACSL Annual Conference on Computer Science Logic (link).
• Davide Castelnovo, Marino Miculan, Closure Hyperdoctrines, 2021, Proceedings of the 9^th Conference on Algebra and Coalgebra in Computer Science (link).