categories/basic/exact: finish characterisations of exactness