Lecture 5: Introduction to dualisable categories and their $K$-theory, IV