摘要
A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two directions： all morphisms have types and the composition of morphisms is not necessary a morphism. Two aspects of application of typed category theory are discussed： cones and limits of knowledge complexity classes and knowledge completion with pseudo-functors.
A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two directions： all morphisms have types and the composition of morphisms is not necessary a morphism. Two aspects of application of typed category theory are discussed： cones and limits of knowledge complexity classes and knowledge completion with pseudo-functors.
基金
国家重点基础研究发展计划(973计划)，国家自然科学基金
