We develop a systematic account of the inventory of possible functor types and their interrelationships in Section 5.
for instance, the functor embedding a state of possession in Table 1 is to be read as follows.