A typed category theory is proposed for the abstract description of knowledge and knowledge processing.

• 为了兼顾知识的语义,我们引进类型的概念,提出带类型范畴论。