The ordinary generating function packages the Catalan recurrence. Its Cauchy product gives the formal power series identityThe constant term is . Solving the quadratic equation chooseswith the formal power series square root having constant term one. The apparent quotient at has constant term one after cancellation; the other quadratic solution has a pole and cannot be this ordinary generating function. The equation records the empty object or an outer unit with two ordered smaller objects.
Articles by others on the same topic
There are currently no matching articles.