Categorical Product (first version).