Generalizable All Variables. (*******************************************************************************) (* Chapter 9.7: Presheaves *) (*******************************************************************************)