start addressing some todos in chapter 2
extend comment re: deriving functor action on morphisms slightly
better diagrams for B+L and B+B
finish proof that + is symmetric monoid