Finite products
Symmetric monoidal
Symmetric premononidal
Partial traced cartesian
Appendices
Premonoidal categories and state transformers
Bibliography