Click to enlarge (if needed).
Next, as an exercise, can you prove this diagram?
Furthermore:
These are just opportunities to practice the new notation.