Syntactic categories for Nori motives

Luca Barbieri-Viale, Olivia Caramello, Laurent Lafforgue

We give a new construction, based on categorical logic, of Nori's $\mathbb{Q}$-linear abelian category of mixed motives associated to a cohomology or homology functor with values in…