We can see how this typification satisfies the needs of a typed category-theoretical
system. A category comprises a domain, a co-domain and a mapping function
(Figure 1). For our typed entailments, we can see a generalised category for Newell’s
symbol layer: domain ) instance, co-domain ) value, function ) linkage; and for the
entailments acting as constraints on each of these components of the symbol layer,
we can have a typed categorical representation.