57But the rest of our notation does not necessarily abide by the other conventions of category theory diagrams.