Davide Trotta
Assistant professor (RTDA)
Research interests
I am a mathematician, and my research focuses on categorical logic and its applications in theoretical computer science. Primarily, I approach both topics using the perspective and method “à la Lawvere,” through variants of the notion of hyperdoctrine.
Affiliation:
Department of Mathematics “Tullio Levi-Civita”
University of Padova
Email: trottadavide92@gmail.com
News
- Mini-Workshop on Structures in Foundations of Mathematics in Padova (September 23-26)
- Our new preprint Skolem, Gödel and Hilbert fibrations is available on arXiv
Publications
Here you can find the list of my publications and accepted papers
(2024).
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines.
In 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024).
(2024).
Quotients, pure existential completions and arithmetic universes .
In Theory and Applications of Categories.
(2024).
On categorical structures arising from implicative algebras: from topology to assemblies.
In Annals of Pure and Applied Logic.
(2023).
A Presheaf Semantics for Quantified Temporal Logics.
In Recent Trends in Algebraic Development Techniques (WADT2022).
(2023).
From gs-monoidal to oplax cartesian categories: constructions and functorial completeness.
In Applied Categorical Structures.
(2023).
Weakly Markov Categories and Weakly Affine Monads.
In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023).
(2023).
Specification and verification of a linear-time temporal logic for graph transformations.
In Graph Transformation, 16th International Conference (ICGT 2023).
(2023).
Dialectica Principles via Gödel Doctrines.
In Theoretical Computer Science.
(2023).
A characterization of generalized existential completions.
In Annals of Pure and Applied Logic.
(2022).
Dialectica logical principles.
In Logical Foundations Of Computer Science (LFCS 2022).
(2022).
Dialectica logical principles: not only rules.
In Journal of Logic and Computation.
(2021).
The Gödel fibration.
In 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021).
(2020).
The existential completion.
In Theory and Applications of Categories.
Preprints
Selected Talks
Below you can find some slides and videos of some recent talks.