Slide "Introducing categories"