category,construction
FinVect_k,initial object
FinVect_k,terminal object