Syntactic categories for Nori motives

We give a new construction, based on categorical logic, of Nori’s Q-linear abelian
category of mixed motives associated to a cohomology or homology functor. This new construction makes sense
for infinite-dimensional vector spaces as well, so that it associates a Q-linear abelian
category of mixed motives to any (co)homology functor.