(no subject)
Attention interested math nerds: the structure I'm looking for is an ordered semiring. Apparently commutative rigs/semirings have everything to do with structure types/generatingfunctions! Some days I just want to have, like, 1000 of John Baez's babies.
