These notes derive a number of technical results on nonlinear contraction
theory, a comparatively recent tool for system stability analysis. In
particular, they provide new results on the preservation of contraction through
system combinations, a property of interest in modelling biological systems