Difference between revisions of "Public:Game Comonad Resources"
m (Tj330 moved page Public:Comonad Resources to Public:Game Comonad Resources without leaving a redirect) |
(→Publications: adding the composition paper) |
||
Line 16: | Line 16: | ||
* Anuj Dawar, Tomáš Jakl, Luca Reggio. "Lovász-type Theorems and Game Comonads." [https://arxiv.org/abs/2105.03274 arXiv:2105.03274] |
* Anuj Dawar, Tomáš Jakl, Luca Reggio. "Lovász-type Theorems and Game Comonads." [https://arxiv.org/abs/2105.03274 arXiv:2105.03274] |
||
* Nihil Shah, "Restricting Power: The Pebble-Relation Comonad in Finite Model Theory." [https://www.cl.cam.ac.uk/events/act2021/papers/ACT_2021_paper_40.pdf ACT 2021 paper] |
* Nihil Shah, "Restricting Power: The Pebble-Relation Comonad in Finite Model Theory." [https://www.cl.cam.ac.uk/events/act2021/papers/ACT_2021_paper_40.pdf ACT 2021 paper] |
||
* Yoàv Montacute, Nihil Shah |
* Yoàv Montacute, Nihil Shah. The Pebble-Relation Comonad in Finite Model Theory [https://arxiv.org/abs/2110.08196 arXiv:2110.08196], '''won the Kleene student paper award at LiCS 2022!''' |
||
* Samson Abramsky, Dan Marsden |
* Samson Abramsky, Dan Marsden. Comonadic semantics for hybrid logic and bounded fragments [https://arxiv.org/abs/2110.09844 arXiv:2110.09844] (an improved version to appear at MFCS 2022) |
||
* Luca Reggio. "Polyadic Sets and Homomorphism Counting" [https://arxiv.org/abs/2110.11061 arXiv:2110.11061] |
* Luca Reggio. "Polyadic Sets and Homomorphism Counting" [https://arxiv.org/abs/2110.11061 arXiv:2110.11061] |
||
* Samson Abramsky, Tomáš Jakl, Thomas Paine |
* Samson Abramsky, Tomáš Jakl, Thomas Paine. Discrete Density Comonads and Graph Parameters. In: Hansen, H.H., Zanasi, F. (eds) Coalgebraic Methods in Computer Science. CMCS 2022. Lecture Notes in Computer Science, vol 13225. Springer, 2022. [https://arxiv.org/abs/2205.06589 arXiv:2205.06589] [https://doi.org/10.1007/978-3-031-10736-8_2 doi] |
||
* Tomáš Jakl, Dan Marsden, Nihil Shah |
* Tomáš Jakl, Dan Marsden, Nihil Shah. Generalizations of Bilinear Maps -- Technical Report [https://arxiv.org/abs/2205.05382 arXiv:2205.05382] |
||
* Tomáš Jakl, Dan Marsden, Nihil Shah |
* Tomáš Jakl, Dan Marsden, Nihil Shah. A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems [https://arxiv.org/abs/2205.05387 arXiv:2205.05387] |
||
* Samson Abramsky. "Structure and Power: an emerging landscape." [https://arxiv.org/abs/2206.07393 arXiv:2206.07393] |
* Samson Abramsky. "Structure and Power: an emerging landscape." [https://arxiv.org/abs/2206.07393 arXiv:2206.07393] |
||
* Samson Abramsky. Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence [https://arxiv.org/abs/2206.12156 arXiv:2206.12156] |
* Samson Abramsky. Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence [https://arxiv.org/abs/2206.12156 arXiv:2206.12156] |
||
Line 27: | Line 27: | ||
* Samson Abramsky, Luca Reggio. Arboreal Categories and Homomorphism Preservation Theorems [https://arxiv.org/abs/2211.15808 arXiv:2211.15808] |
* Samson Abramsky, Luca Reggio. Arboreal Categories and Homomorphism Preservation Theorems [https://arxiv.org/abs/2211.15808 arXiv:2211.15808] |
||
* Samson Abramsky, Yoàv Montacute, Nihil Shah. Linear Arboreal Categories [https://arxiv.org/abs/2301.10088 arXiv:2301.10088] |
* Samson Abramsky, Yoàv Montacute, Nihil Shah. Linear Arboreal Categories [https://arxiv.org/abs/2301.10088 arXiv:2301.10088] |
||
* Tomáš Jakl, Dan Marsden, Nihil Shah. A categorical account of composition methods in logic. [https://arxiv.org/abs/2010.06496 arXiv:2010.06496]. |
|||
Papers by people outside of the Resources and co-Resources grant: |
Papers by people outside of the Resources and co-Resources grant: |
Revision as of 15:34, 1 June 2023
Publications
Papers
- Samson Abramsky, Anuj Dawar, and Pengming Wang. "The pebbling comonad in finite model theory." 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2017. arXiv:1704.05124
- Anuj Dawar, Simone Severini, and Octavio Zapata. "Pebble games and cospectral graphs." Electronic Notes in Discrete Mathematics 61 (2017): 323-329. doi
- Samson Abramsky and Nihil Shah. "Relating Structure and Power: Comonadic semantics for computational resources." International Workshop on Coalgebraic Methods in Computer Science. Springer, Cham, 2018. arXiv:1806.09031
- Samson Abramsky. "Whither semantics?." Theoretical Computer Science 807 (2020): 3-14.
- Samson Abramsky, Dan Marsden. "Comonadic semantics for guarded fragments." arXiv:2008.11094
- Thomas Paine. "A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem." Electronic Notes in Theoretical Computer Science, 352, 191-209. doi
- Adam Ó Conghaile, Anuj Dawar. "Game Comonads & Generalised Quantifiers." arXiv:2006.16039
- Samson Abramsky and Nihil Shah. "Relating Structure and Power: Extended Version" arXiv:2010.06496
- Anuj Dawar. "Constraint Satisfaction, Graph Isomorphism, and the Pebbling Comonad." to appear
- Samson Abramsky, Luca Reggio. "Arboreal Categories: An Axiomatic Theory of Resources." arXiv:2102.08109
- Anuj Dawar, Tomáš Jakl, Luca Reggio. "Lovász-type Theorems and Game Comonads." arXiv:2105.03274
- Nihil Shah, "Restricting Power: The Pebble-Relation Comonad in Finite Model Theory." ACT 2021 paper
- Yoàv Montacute, Nihil Shah. The Pebble-Relation Comonad in Finite Model Theory arXiv:2110.08196, won the Kleene student paper award at LiCS 2022!
- Samson Abramsky, Dan Marsden. Comonadic semantics for hybrid logic and bounded fragments arXiv:2110.09844 (an improved version to appear at MFCS 2022)
- Luca Reggio. "Polyadic Sets and Homomorphism Counting" arXiv:2110.11061
- Samson Abramsky, Tomáš Jakl, Thomas Paine. Discrete Density Comonads and Graph Parameters. In: Hansen, H.H., Zanasi, F. (eds) Coalgebraic Methods in Computer Science. CMCS 2022. Lecture Notes in Computer Science, vol 13225. Springer, 2022. arXiv:2205.06589 doi
- Tomáš Jakl, Dan Marsden, Nihil Shah. Generalizations of Bilinear Maps -- Technical Report arXiv:2205.05382
- Tomáš Jakl, Dan Marsden, Nihil Shah. A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems arXiv:2205.05387
- Samson Abramsky. "Structure and Power: an emerging landscape." arXiv:2206.07393
- Samson Abramsky. Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence arXiv:2206.12156
- Adam Ó Conghaile. Cohomology in Constraint Satisfaction and Structure Isomorphism arXiv:2206.15253
- Samson Abramsky, Luca Reggio. Arboreal Categories and Homomorphism Preservation Theorems arXiv:2211.15808
- Samson Abramsky, Yoàv Montacute, Nihil Shah. Linear Arboreal Categories arXiv:2301.10088
- Tomáš Jakl, Dan Marsden, Nihil Shah. A categorical account of composition methods in logic. arXiv:2010.06496.
Papers by people outside of the Resources and co-Resources grant:
- Bartosz Bednarczyk, Mateusz Urbańczyk. Comonadic Semantics for Description Logics Games. (2022).
- Mateusz Urbańczyk. Categorical Semantics for Model Comparison Games for Description Logics arXiv:2211.09655
- Gaurav Rattan, Tim Seppelt. Weisfeiler--Leman and Graph Spectra arXiv:2103.02972 (which explains the relationship between linear-algebraic methods and the comonadic Lovasz-type arguments)
Theses/reports:
- Nihil Shah: Game Comonads in Finite Model Theory (Master thesis) [1] (see README therein for corrections)
- Adam Ó Conghaile: Game comonads, descriptive complexity & finite model theory (First Year Report) [2]
- Thomas Paine: Structural Techniques in Descriptive Complexity (PhD thesis, submitted)
Talks (slides and/or videos)
WARNING: This section is not updated much. It basically froze in late 2020. If you have given a talk on game comonads which is recorded or has public slides, please write it in here or let Tomas know about it.
- Nihil Shah, "Restricting Power: The Pebble-Relation Comonad in Finite Model Theory" at ACT 2021 (slides, video).
- Luca Reggio (j.w.w. Anuj Dawar, Tomáš Jakl) "Lovász-type Theorems and Game Comonads" at LICS 2021 [3].
- Daniel Marsden (j.w.w. Samson Abramsky) "Comonadic semantics for guarded fragments" at LICS 2021 [4].
- Nihil Shah. "Bisimulation between hom sets and logics without counting" at Structure meets Power workshop 2021 (slides, video).
- Luca Reggio. "Lovász-type theorems and polyadic spaces" at BLAST 2021 (slides).
- Thomas Paine. "Game Comonads and an application to the Equirank-variable conjecture" at MFPS 2020 [5].
- Adam Ó Conghaile. "k-Cores for game comonads" at Contextuality 2019 (slides).
- Dan Marsden: Guards, Structure and Power
- Adam Ó Conghaile: Game comonads and generalised quantifiers
- Nihil Shah: Path-width and restricting conjunction in k-variable logic
Samson's talks on the topic:
- Coalgebra Dreams [6]
- Relating Structure to Power:Comonadic semantics for computational resources [7]
Related:
- Nihil Shah - Cofree Comonads and their Uses (at LamdaConf), recording on youtube
Other
- Dan Marsden recently started writing a blog called String Diagram on monads, comonads and other related topics.