Davide Trotta

Available identifiers

zbMath Open trotta.davideMaRDI QIDQ2151420

List of research outcomes

Publication	Date of Publication	Type
On categorical structures arising from implicative algebras: from topology to assemblies	2024-01-08	Paper
From gs-monoidal to oplax cartesian categories: constructions and functorial completeness	2023-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q6113375	2023-08-08	Paper
Weakly Markov categories and weakly affine monads	2023-03-24	Paper
A characterization of generalized existential completions	2023-02-15	Paper
Dialectica principles via Gödel doctrines	2023-02-01	Paper
Dialectica logical principles: not only rules	2023-01-04	Paper
Dialectica logical principles	2022-07-01	Paper
Dialectica Principles via G\"odel Doctrines	2022-05-14	Paper
Generalized existential completions and their regular and exact completions	2021-11-06	Paper
A Presheaf Semantics for Quantified Temporal Logics	2021-11-06	Paper
Dialectica Logical Principles	2021-09-16	Paper
An algebraic approach to the completions of elementary doctrines	2021-08-07	Paper
The existential completion	2020-10-26	Paper
Quantifier completions, choice principles and applications	2020-10-18	Paper
Categorifying computable reducibilities	0001-01-03	Paper
A characterization of regular and exact completions of pure existential completions	0001-01-03	Paper
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Davide Trotta