https://123dok.net/document/zgw06o42-separability-tensor-chu-categories-vector-spaces.html