First neighbourhood of the diagonal, and geometric distributions
  We describe the geometric notion of distribution in synthetic terms, utilizing the notion of "first neighbourhood of the diagonal" from algebraic geometry. We characterize involutive distributions in combinatorial terms. 
Anders Kock