On the use of relational presheaves in transformational music theory · Study