| Publication | Date of Publication | Type |
|---|
Cauchy-completions and the rule of unique choice in relational doctrines
(available as arXiv preprint) | N/A | Paper |
The relational quotient completion
Annals of Pure and Applied Logic | 2026-03-12 | Paper |
Projective covers, doctrines of algebras and the relational quotient completion
(available as arXiv preprint) | 2026-01-01 | Paper |
Quotients-comprehensions duality in relational doctrines
(available as arXiv preprint) | 2026-01-01 | Paper |
Cauchy completions and the rule of unique choice in relational doctrines
Theory and Applications of Categories | 2025-07-11 | Paper |
Quantitative equality in substructural logic via Lipschitz doctrines
Logical Methods in Computer Science | 2025-01-31 | Paper |
| Logical foundations of quantitative equality | 2024-12-06 | Paper |
| Quotients and extensionality in relational doctrines | 2024-10-21 | Paper |
The Relational Quotient Completion
(available as arXiv preprint) | 2024-01-01 | Paper |
Elementary fibrations of enriched groupoids
Mathematical Structures in Computer Science | 2022-06-24 | Paper |
A characterisation of elementary fibrations
Annals of Pure and Applied Logic | 2022-04-25 | Paper |
| Quasitoposes as elementary quotient completions | 2021-11-30 | Paper |
| Quantitative Equality in Substructural Logic via Lipschitz Doctrines | 2021-10-11 | Paper |
Elementary doctrines as coalgebras
Journal of Pure and Applied Algebra | 2021-01-22 | Paper |
Quasitoposes as elementary quotient completions
(available as arXiv preprint) | 2021-01-01 | Paper |
A characterisation of elementary fibrations
(available as arXiv preprint) | 2020-01-01 | Paper |
scientific article; zbMATH DE number 7080197 (Why is no real title available?)
(available as arXiv preprint) | 2019-07-12 | Paper |
A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus
Annals of Pure and Applied Logic | 2019-02-04 | Paper |
On a generalization of equilogical spaces
Logica Universalis | 2018-08-06 | Paper |
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
(available as arXiv preprint) | 2018-02-18 | Paper |
Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
Tbilisi Mathematical Journal | 2017-12-08 | Paper |
| scientific article; zbMATH DE number 6769394 (Why is no real title available?) | 2017-09-04 | Paper |
A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms
Logica Universalis | 2017-05-12 | Paper |
| Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers | 2016-06-27 | Paper |
Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
Applied Categorical Structures | 2016-04-05 | Paper |
| Hilbertian Toposes Epsilon Toposes | 2016-03-02 | Paper |
| The axiom of choice, co-comprehension schema and redundancies in triposes | 2016-02-12 | Paper |
| A tripos based on compact Hausdorff spaces | 2016-02-10 | Paper |
A tripos based on compact Hausdorff spaces
(available as arXiv preprint) | 2016-01-01 | Paper |
The axiom of choice, co-comprehension schema and redundancies in triposes
(available as arXiv preprint) | 2016-01-01 | Paper |
Hilbertian Toposes Epsilon Toposes
(available as arXiv preprint) | 2016-01-01 | Paper |
Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers
(available as arXiv preprint) | 2016-01-01 | Paper |
A co-free construction for elementary doctrines
Applied Categorical Structures | 2015-02-05 | Paper |
| A categorical semantic for the Typed Epsilon Calculus | 2014-09-08 | Paper |
| Remarks on the Tripos To Topos Construction: extensionality, comprehensions, quotients and cauchy-complete objects | 2014-01-30 | Paper |
Remarks on the Tripos To Topos Construction: extensionality, comprehensions, quotients and cauchy-complete objects
(available as arXiv preprint) | 2014-01-01 | Paper |
A categorical semantic for the Typed Epsilon Calculus
(available as arXiv preprint) | 2014-01-01 | Paper |
| A sheafification theorem for doctrines | 2013-11-06 | Paper |
A sheafification theorem for doctrines
(available as arXiv preprint) | 2013-01-01 | Paper |
