HIGHER-DIMENSIONAL CATEGORIES WITH FINITE DERIVATION TYPE. - Guiraud, Yves; Malbos, Philippe (Theory & Applications of Categories, 2009)