Move adjointification to Chapter 3