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)
““If Steam has done nothing else, it has at least added a whole new Species to English Literature ... the booklets—the little thrilling romances, where the Murder comes at page fifteen, and the Wedding at page forty—surely they are due to Steam?”
“And when we travel by electricity—if I may venture to develop your theory—we shall have leaflets instead of booklets, and the Murder and the Wedding will come on the same page.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)