Category: what is notation?