Figure 13:
The categorical representation that shows how rules
and
enable the transformation of rule
into rule
(following [
37
]).
