research
∙
04/20/2023
A categorical account of composition methods in logic
We present a categorical theory of the composition methods in finite mod...
share
research
∙
05/11/2022
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
Game comonads, introduced by Abramsky, Dawar and Wang, and developed by ...
research
∙
10/19/2021
Comonadic semantics for hybrid logic and bounded fragments
In recent work, comonads and associated structures have been used to ana...
research
∙
08/25/2020
Comonadic semantics for guarded fragments
In previous work, Abramsky, Dawar and Wang (LiCS 2017) and Abramsky and ...
research
∙
03/27/2020
No-Go Theorems for Distributive Laws
Monads are commonplace in computer science, and can be composed using Be...
research
∙
11/15/2018
Don't Try This at Home: No-Go Theorems for Distributive Laws
Beck's distributive laws provide sufficient conditions under which two m...
research
∙
11/08/2018
Towards Compositional Distributional Discourse Analysis
Categorical compositional distributional semantics provide a method to d...
research
∙
11/08/2018
Internal Wiring of Cartesian Verbs and Prepositions
Categorical compositional distributional semantics (CCDS) allows one to ...
research
∙
11/06/2018
Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences
The ability to compose parts to form a more complex whole, and to analyz...
research
∙
03/24/2017
Interacting Conceptual Spaces I : Grammatical Composition of Concepts
The categorical compositional approach to meaning has been successfully ...
research
∙
01/03/2017