why do type theorists name their types that way

i guess sum and product type does make sense if you think about the set of possible states but what do 1st and 0th degree polynomials have to do with ensuring that a type is used exactly once