Course in applied category theory by John Baez (7 sketches in compositionality)

azimuthproject.org