Definition. Cartesian exponent of species of types [00B1]
Definition. Cartesian exponent of species of types [00B1]
Given species of types and , we define the cartesian exponent of and at as the pointwise exponent
Given species of types and , we define the cartesian exponent of and at as the pointwise exponent