aT IS FINITE FOR ^-CATEGORICAL T