  This chapter contains an exposition of the sheaf-theoretic framework for
contextuality emphasising resource-theoretic aspects, as well as some original
results on this topic. In particular, we consider functions that transform
empirical models on a scenario S to empirical models on another scenario T, and
characterise those that are induced by classical procedures between S and T
corresponding to 'free' operations in the (non-adaptive) resource theory of
contextuality. We proceed by expressing such functions as empirical models
themselves, on a new scenario built from S and T. Our characterisation then
boils down to the non-contextuality of these models. We also show that this
construction on scenarios provides a closed structure in the category of
measurement scenarios.
