Premonoidal categories and a graphical view of programs

Title

Introduction

Value category

Central category

Process category

Tracing

Functions

Operational semantics

Comparisons

Future work

Completeness proofs

Finite products

Symmetric monoidal

Symmetric premononidal

Partial traced cartesian

Appendices

Premonoidal categories and state transformers

Bibliography