Re: String diagrams, adjunction and autonomous categories.