Abstract:In this paper, we give an overview of some recent work on applying tools from category theory in finite model theory, descriptive complexity, constraint satisfaction, and combinatorics. The motivations for this work come from Computer Science, but there may also be something of interest for model theorists and other logicians. The basic setting involves studying the category of relational structures via a resource-indexed family of adjunctions with some process category - which unfolds relational structures into treelike forms, allowing natural resource parameters to be assigned to these unfoldings. One basic instance of this scheme allows us to recover, in a purely structural, syntax-free way: the Ehrenfeucht-Fraisse~game; the quantifier rank fragments of first-order logic; the equivalences on structures induced by (i) the quantifier rank fragments, (ii) the restriction of this fragment to the existential positive part, and (iii) the extension with counting quantifiers; and the combinatorial parameter of tree-depth (Nesetril and Ossona de Mendez). Another instance recovers the k-pebble game, the finite-variable fragments, the corresponding equivalences, and the combinatorial parameter of treewidth. Other instances cover modal, guarded and hybrid fragments, generalized quantifiers, and a wide range of combinatorial parameters. This whole scheme has been axiomatized in a very general setting, of arboreal categories and arboreal covers. Beyond this basic level, a landscape is beginning to emerge, in which structural features of the resource categories, adjunctions and comonads are reflected in degrees of logical and computational tractability of the corresponding languages. Examples include semantic characterisation and preservation theorems, and Lovasz-type results on counting homomorphisms.

Toward an Epistemic-Logical Theory of Categorization

Categorization in the Wild: Generalizing Cognitive Models to Naturalistic Data across Languages

A theory of moral categorization: The conceptual performance of moral cognition

Cultural evolution of categorization

Classical linear logic, cobordisms and categorical semantics of categorial grammars

A category theory perspective on the Language of Thought: LoT is universal

Category theory, logic and formal linguistics: Some connections, old and new

On Categorical Theory-Building: Beyond the Formal

Classical linear logic, cobordisms and categorial grammars

Evidential Reasoning in a Categorial Perspective: Conjunction and Disjunction of Belief Functions

The Information‐Processing Perspective on Categorization

Epsitemic Logic: from Knowledge to Cognition

From Conceptual Space to Categorical Space——Logic and the Embodiment of Concept

Flexible categorization using formal concept analysis and Dempster-Shafer theory

How active perception and attractor dynamics shape perceptual categorization: A computational model

Structure and Power: an emerging landscape

Logical Structure on Inverse Functor Categories

Category Free Category Theory and Its Philosophical Implications

Categorial compositionality II: universal constructions and a general theory of (quasi-)systematicity in human cognition

Categorical large cardinals and the tension between categoricity and set-theoretic reflection

Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation