13. Further specification of a functor

Two attributes are used to specify the meaning of certain modifications in more detail: