  We systematically develop, study, and give applications of definable functors
between compactly generated triangulated categories. Such functors preserve
pure triangles, pure injective objects, and definable subcategories, and as
such appear in a wide range of algebraic and topological settings. The first
part of the paper is predominantly theoretical. Firstly we investigate and
characterise purity preserving functors from a triangulated category into a
finitely accessible category with products, which we term coherent functors.
This yields a new property for the restricted Yoneda embedding as the universal
coherent functor.
  We build upon the utility of coherent functors to provide several equivalent
conditions for an additive, not necessarily triangulated, functor between
triangulated categories to be definable: a functor is definable if and only if
it preserves filtered homology colimits and products, if and only if it
uniquely extends along the restricted Yoneda embedding to a definable functor
between the corresponding module categories.
  In the second part of the paper we give four detailed applications. The first
of these investigates functoriality of the homological spectrum along definable
functors. This generalises the work of Balmer to incorporate non-triangulated
and non-geometric functors. We then turn our attention to functoriality of the
Ziegler spectrum, an object of study in pure homological algebra and
representation theory, as well as functoriality of the rank functions
introduced by Chuang and Lazarev. Our final application investigates when the
homology associated to a t-structure is coherent, and we use this to determine
the Ziegler spectrum of injective objects in the Grothendieck hearts of certain
t-structures.
