categorical implementation paper updates
categorical implementation paper [pdf] update