Definition. Cauchy Product of Species of Types [008Y]

Let and be species of types. We define the cauchy product of and on as