Combinatorial Spieciesという考え方がある 離散データ構造の定義が与えらえた時に、それを特定の要素数で構成するとして、その構成インスタンスの個数を数え上げることを考える 数え上げるにあたって、母関数を使う 圏論的に考えることができる ある集合Aと…