Category theory using string diagrams (2014) (arxiv.org)