Finite Model Theory and Game Comonads: Part I The n-Category Café, 08 Sep 2023 guest post byElena Dimitriadis,Richie Yeung,Tyler Hanks, andZhixuan YangFinite model theory(Libkin 2004) studies finite models…