  We use the notion of universal extension in a linear abelian category to
study extensions of variations of mixed Hodge structure and convergent and
overconvergent isocrystals. The results we obtain apply, for example, to prove
the exactness of some homotopy sequences for these categories and to study
$F$-able isocrystals.
