| Publication | Date of Publication | Type |
|---|
Filtral pretoposes and compact Hausdorff locales
Theory and Applications of Categories | 2024-11-08 | Paper |
| A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures | 2024-10-01 | Paper |
Arboreal categories and equi-resource homomorphism preservation theorems
Annals of Pure and Applied Logic | 2024-04-04 | Paper |
| A model category for modal logic | 2023-10-18 | Paper |
Arboreal Categories: An Axiomatic Theory of Resources
Logical Methods in Computer Science | 2023-08-26 | Paper |
Barr-exact categories and soft sheaf representations
Journal of Pure and Applied Algebra | 2023-06-26 | Paper |
| Filtral pretoposes and compact Hausdorff locales | 2023-06-19 | Paper |
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
Journal of Symbolic Logic | 2023-02-27 | Paper |
Polyadic sets and homomorphism counting
Advances in Mathematics | 2022-11-08 | Paper |
scientific article; zbMATH DE number 7471705 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471705 (Why is no real title available?) | 2022-02-09 | Paper |
Quantifiers on languages and codensity monads
Mathematical Structures in Computer Science | 2021-08-16 | Paper |
Beth definability and the Stone-Weierstrass theorem
Annals of Pure and Applied Logic | 2021-06-14 | Paper |
On the axiomatisability of the dual of compact ordered spaces
Applied Categorical Structures | 2021-05-11 | Paper |
| Lov\'asz-Type Theorems and Game Comonads | 2021-05-07 | Paper |
Model completions for universal classes of algebras: necessary and sufficient conditions
(available as arXiv preprint) | 2021-02-02 | Paper |
| Quantifiers on languages and codensity monads | 2021-01-19 | Paper |
Quantifiers on languages and codensity monads
(available as arXiv preprint) | 2021-01-19 | Paper |
A duality theoretic view on limits of finite structures: Extended version
(available as arXiv preprint) | 2020-12-17 | Paper |
| A characterisation of the category of compact Hausdorff spaces | 2020-12-03 | Paper |
A characterisation of the category of compact Hausdorff spaces
(available as arXiv preprint) | 2020-12-03 | Paper |
A duality theoretic view on limits of finite structures
(available as arXiv preprint) | 2020-09-23 | Paper |
Beth definability and the Stone-Weierstrass Theorem
(available as arXiv preprint) | 2020-07-10 | Paper |
Codensity, profiniteness and algebras of semiring-valued measures
Journal of Pure and Applied Algebra | 2019-08-15 | Paper |
A duality theoretic view on limits of finite structures
(available as arXiv preprint) | 2019-07-09 | Paper |
An open mapping theorem for finitely copresented Esakia spaces
Topology and its Applications | 2018-04-23 | Paper |
The Schützenberger product for syntactic spaces
(available as arXiv preprint) | 2017-12-19 | Paper |
Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
Advances in Mathematics | 2017-01-05 | Paper |
