Updates to categorical semantics/implementation paper
PDF of categorical semantics/implementation paper