| Publication | Date of Publication | Type |
|---|
Canonical extensions via fitted sublocales
(available as arXiv preprint) | N/A | Paper |
| A categorical account of composition methods in logic | 2026-02-27 | Paper |
A categorical account of composition methods in logic
Logical Methods in Computer Science | 2026-02-13 | Paper |
A categorical perspective on constraint satisfaction: The wonderland of adjunctions
(available as arXiv preprint) | 2026-01-01 | Paper |
On the Axioms of Arboreal Categories
(available as arXiv preprint) | 2026-01-01 | Paper |
Canonical extensions via fitted sublocales
Applied Categorical Structures | 2025-03-27 | Paper |
| A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures | 2024-10-01 | Paper |
A categorical account of composition methods in logic (extended version)
(available as arXiv preprint) | 2024-01-01 | Paper |
| A categorical account of composition methods in logic | 2023-04-20 | Paper |
Discrete density comonads and graph parameters
(available as arXiv preprint) | 2022-12-07 | Paper |
Discrete density comonads and graph parameters
(available as arXiv preprint) | 2022-05-13 | Paper |
| Generalizations of Bilinear Maps -- Technical Report | 2022-05-11 | Paper |
| A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems | 2022-05-11 | 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 |
Generalizations of Bilinear Maps -- Technical Report
(available as arXiv preprint) | 2022-01-01 | Paper |
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
(available as arXiv preprint) | 2022-01-01 | Paper |
| Lov\'asz-Type Theorems and Game Comonads | 2021-05-07 | Paper |
A duality theoretic view on limits of finite structures: Extended version
(available as arXiv preprint) | 2020-12-17 | Paper |
A duality theoretic view on limits of finite structures
(available as arXiv preprint) | 2020-09-23 | Paper |
Canonical extensions of locally compact frames
Topology and its Applications | 2020-04-06 | Paper |
Tightness relative to some (co)reflections in topology
Quaestiones Mathematicae | 2019-09-09 | Paper |
A duality theoretic view on limits of finite structures
(available as arXiv preprint) | 2019-07-09 | Paper |
Quotients of d-frames
Applied Categorical Structures | 2019-06-20 | Paper |
Canonical extensions of locally compact frames
(available as arXiv preprint) | 2019-01-01 | Paper |
Free constructions and coproducts of d-frames
(available as arXiv preprint) | 2018-08-13 | Paper |
| Bitopology and four-valued logic | 2018-04-23 | Paper |
