Minor additions to categorical semantics (Chapter 4)