合成空间和线性空间中基于原型范畴的翻译过程