2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 2 cited
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…
math.CT2022
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…