| 1. | 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
一个带类型范畴是一个四元组k o , m , g , t ，其中o是一组对象, m是一组态射,每个态射有一个类型，表示f是从a到b的态射，具有类型t 。 |
