category,construction
Diff,binary product
Diff,binary sum
Diff,initial object
Diff,terminal object