We can therefore see that the three forms of entailment match up with three
organising principles and three categorical components:
(1) Instance-dominant entailment is informed by shape, found in constraining the
category domain.
(2) Value-dominant entailment is informed by granularity, found in constraining
the category codomain.
(3) Link-dominant entailment is informed by scope, found in constraining the
category mapping function.