Lecture Five. We start with a review from last week.

Click to enlarge (if needed).

Next, as an exercise, can you prove this diagram?

Click to enlarge (if needed).

Furthermore:

These are just opportunities to practice the new notation.