Tomáš Jakl

From MaRDI portal
Person:1744387



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A categorical account of composition methods in logic2026-02-27Paper
A categorical account of composition methods in logic
Logical Methods in Computer Science
2026-02-13Paper
Canonical extensions via fitted sublocales
Applied Categorical Structures
2025-03-27Paper
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures2024-10-01Paper
A categorical account of composition methods in logic2023-04-20Paper
Discrete density comonads and graph parameters
(available as arXiv preprint)
2022-12-07Paper
Discrete density comonads and graph parameters
(available as arXiv preprint)
2022-05-13Paper
Generalizations of Bilinear Maps -- Technical Report2022-05-11Paper
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems2022-05-11Paper
scientific article; zbMATH DE number 7471705 (Why is no real title available?)
(available as arXiv preprint)
2022-02-09Paper
scientific article; zbMATH DE number 7471705 (Why is no real title available?)2022-02-09Paper
Lov\'asz-Type Theorems and Game Comonads2021-05-07Paper
A duality theoretic view on limits of finite structures: Extended version
(available as arXiv preprint)
2020-12-17Paper
A duality theoretic view on limits of finite structures
(available as arXiv preprint)
2020-09-23Paper
Canonical extensions of locally compact frames
Topology and its Applications
2020-04-06Paper
Tightness relative to some (co)reflections in topology
Quaestiones Mathematicae
2019-09-09Paper
A duality theoretic view on limits of finite structures
(available as arXiv preprint)
2019-07-09Paper
Quotients of d-frames
Applied Categorical Structures
2019-06-20Paper
Free constructions and coproducts of d-frames
(available as arXiv preprint)
2018-08-13Paper
Bitopology and four-valued logic2018-04-23Paper
Canonical extensions via fitted sublocales
(available as arXiv preprint)
N/APaper


Research outcomes over time


This page was built for person: Tomáš Jakl