加载中…
I exhibit a pair of non-symmetric operads that, although not themselves
isomorphic, induce isomorphic monads. The existence of such a pair implies that
if algebraic theory' is understood as meaning monad’, operads cannot be
regarded as algebraic theories of a special kind.

生成讲解博客的中文版本

生成AI智能校验的中文版本