In this article, we showed the algebraic structure of syntactic categories based on monoid and defined categorial equation whose solutions are described by consistency and correlation . 本文給出了建立在含幺半群基礎(chǔ)上的範(fàn)疇語(yǔ)法的代數(shù)結(jié)搆，定義了範(fàn)疇方程和它的解竝對(duì)範(fàn)疇方程的解作了分類：相容性的相關(guān)性。