Category: proof without words