Categorical semantics of flat calculus (Chapter 4)