A Category equipped with a Tensort where the
Tensor unit i is the terminal object in
cat and thus every object a is equipped with a
morphism <math>, which we call kill.
A Category equipped with a Tensort where the
Tensor unit i is the initial object in
cat and thus every object a is equipped with a
morphism <math>, which we call spawn.
A Category is Semicocartesian if it is equipped with a
Symmetric type operator t and each object comes
equipped with a morphism <math>, which we call merge.