@misc{indiciae8198aea2d9b2, title = {Lovász-Type Theorems and Game Comonads}, author = {Anuj Dawar and Tomáš Jakl and Luca Reggio}, year = {2021}, doi = {10.1109/lics52264.2021.9470609}, url = {https://arxiv.org/abs/2105.03274}, note = {Source identifier: 2105.03274} }