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