Third Scottish Category Theory Seminar