Text this: HIGHER-DIMENSIONAL CATEGORIES WITH FINITE DERIVATION TYPE.