応用圏論では、多項式関手を様々な分野で使うことが始まっています。多項式関手の圏は、集合圏上の余前層の圏 （自己関手圏にもなる）の部分圏ですが、集合圏を一般の圏にした多項式関手も定義できます。双対的に余多項式関手も定義できます。$`\newcommand{…