Calculus of Species
Arithmetic on generating functions corresponds to certain "natural" operations on species. The basic operations are addition, multiplication, composition, and differentiation; it is also necessary to define equality on species. Category theory already has a way of describing when two functors are equivalent: a natural isomorphism. In this context, it just means that for each A there is a bijection between F-structures on A and G-structures on A, which is "well-behaved" in its interaction with transport. Species with the same generating function might not be isomorphic, but isomorphic species do always have the same generating function.
Read more about this topic: Combinatorial Species
Famous quotes containing the words calculus of, calculus and/or species:
“I try to make a rough music, a dance of the mind, a calculus of the emotions, a driving beat of praise out of the pain and mystery that surround me and become me. My poems are meant to make your mind get up and shout.”
—Judith Johnson Sherwin (b. 1936)
“I try to make a rough music, a dance of the mind, a calculus of the emotions, a driving beat of praise out of the pain and mystery that surround me and become me. My poems are meant to make your mind get up and shout.”
—Judith Johnson Sherwin (b. 1936)
“There are acacias, a graceful species amusingly devitalized by sentimentality, this kind drooping its leaves with the grace of a young widow bowed in controllable grief, this one obscuring them with a smooth silver as of placid tears. They please, like the minor French novelists of the eighteenth century, by suggesting a universe in which nothing cuts deep.”
—Rebecca West (1892–1983)