5th Scottish Category Theory Seminar: Programme