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 ...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.
