Premonoidal categories and a graphical view of programs
Completeness proofs
Finite products
Symmetric monoidal
Symmetric premononidal
Partial traced cartesian
Appendices
Premonoidal categories and state transformers
Bibliography