Category: what is notation