Davide Trotta

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Davide Trotta