Categorical Foundations for Linear-Time Behavioural Equivalences

This paper develops a general axiomatic framework for linear-time logics and equivalences within finite model theory, by introducing the notion of linear arboreal categories and relating them to linear variants of previously studied arboreal categories.