7th Scottish Category Theory Seminar