Category: notation as creative agent