2 citations · 2 across the 5 of their papers we have counts for
5 papers
On the Axioms of Arboreal Categories
Tomáš Jakl, Luca Reggio
Arboreal categories were introduced as an axiomatic framework for game comonads, which provide a comonadic view on many model-comparison games in logic. We demonstrate the inadequa…
Four imprints of Belnap's useful four-valued logic in computer science
Tomáš Jakl
We review four areas of theoretical computer science which share technical or philosophical ideas with the work of Belnap on his useful four-valued logic. Perhaps surprisingly, the…
Canonical extensions via fitted sublocales
Tomáš Jakl, Anna Laura Suarez
We build on a recent result stating that the frame of strongly exact filters for a frame is anti-isomorphic to the coframe of fitted sublocal…
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
Tomáš Jakl, Dan Marsden, Nihil Shah
Game comonads, introduced by Abramsky, Dawar and Wang, and developed by Abramsky and Shah, give a categorical semantics for model comparison games. We present an axiomatic account…
Generalizations of Bilinear Maps -- Technical Report
Tomáš Jakl, Dan Marsden, Nihil Shah
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result…