この記事では、有限生成自由モノイドの圏が可換双代数のためのPROPとして機能するという古典的な結果を拡張し、双代数のためのPROPを得ています。
まず、有限集合の圏 $\mathbf{fSet}$ が可換代数のためのPROPと同値であること、そして有限生成自由モノイドの圏 $\mathbf{fgFMon}$ が可換双代数のためのPROPと同値であることを説明しています。
次に、$\mathbf{fSet}$ を非可換代数のためのPROPを得るためにどのように拡張できるかを示しています。具体的には、各ファイバー上の全順序を持つ有限集合と写像の圏 $\mathbf{g\text{-}fSet}$ を導入し、これが非可換代数のためのPROPと同値であることを示しています。
最後に、$\mathbf{fgFMon}$ を拡張して、双代数のためのPROPと同値な圏 $\mathbf{\backslash fgFMon}$ を構成しています。この圏は、$\mathbf{g\text{-}fSet}$ の構成と同様に、モノイド写像に置換を付加することによって得られます。
この記事では、$\mathbf{\backslash fgFMon}$ の合成法則を明示的に定義し、これが双代数の構造写像の反復に伴う指数の変化を追跡する明示的な公式を与えることを示しています。
他の言語に翻訳
原文コンテンツから
arxiv.org
深掘り質問