オペラッドを何に使うか、少しだけ分かってきた。少しだけ。本編で触れたトム・レンスターは、Homotopy Algebras for Operads でオペラッド概念をキチンと分類定義している。まず、基本となる素のオペラッドがある。マニンなんかが言っているオペラッドは、…