2nd Scottish Category Theory Seminar