该文在自由ＳＰＥＣ－代数Ｔｓ（Ｘ）及相应的典范映射Ｘη：Ｘ→Ｔｓ（Ｘ）的基础上，利用范畴论中函子与自然变换的概念，建立了函子范畴Ｓｅｔ＾ｓ上的代数理论Ｔ＝（Ｔｓ，η，μ），讨论了ＳＰＥＣ－代数、Ｔ－代数......