started adjunctions, added the binary diagonal functor to the product category