Finitely accessible arboreal adjunctions and Hintikka formulae

Luca Reggio, Colin Riba

Arboreal categories provide an axiomatic framework in which abstract notions of bisimilarity and back-and-forth games can be defined. They act on extensional categories, typically…