なんか圏論みたいだな〜と思いながら読んでたら圏論が出てきた 置換表を射とするジェネリックシグネチャの圏が構成できるそうです