LMS lecture series on category theory and its applications