Categories for physics: Lecture notes