References Premonoidal Categories and a Graphical View of Programs (Jeffrey, 1997) Tags: closed monoidal category, string diagram
