category of diagrams