Author: J-B Vienney Format: MarkdownItexDefined graded bimonoids and special graded bimonoids.
Added the almost proved conjecture that bicommutative special graded bimonoids are always given by the family of all symmetric powers of an object in a symmetric monoidal (Q plus)-linear category.
<a href="https://ncatlab.org/nlab/revision/diff/graded+bimonoid/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/graded+bimonoid/5">v5</a>, <a href="https://ncatlab.org/nlab/show/graded+bimonoid">current</a>
Defined graded bimonoids and special graded bimonoids.
Added the almost proved conjecture that bicommutative special graded bimonoids are always given by the family of all symmetric powers of an object in a symmetric monoidal (Q plus)-linear category.
Author: J-B Vienney Format: MarkdownItexCorrected the conjecture (we must add with trivial units)
<a href="https://ncatlab.org/nlab/revision/diff/graded+bimonoid/9">diff</a>, <a href="https://ncatlab.org/nlab/revision/graded+bimonoid/9">v9</a>, <a href="https://ncatlab.org/nlab/show/graded+bimonoid">current</a>
Corrected the conjecture (we must add with trivial units)
Author: J-B Vienney Format: MarkdownItexExplained how symmetric powers induce a graded bimonoid. Further goal is to explain the link Hasse-Schmidt derivative / graded bimonoid.
<a href="https://ncatlab.org/nlab/revision/diff/graded+bimonoid/12">diff</a>, <a href="https://ncatlab.org/nlab/revision/graded+bimonoid/12">v12</a>, <a href="https://ncatlab.org/nlab/show/graded+bimonoid">current</a>
Explained how symmetric powers induce a graded bimonoid. Further goal is to explain the link Hasse-Schmidt derivative / graded bimonoid.
Author: J-B Vienney Format: MarkdownItexExplained how to generate a graded bimonoid using the Hasse-Schmidt derivative.
<a href="https://ncatlab.org/nlab/revision/diff/graded+bimonoid/14">diff</a>, <a href="https://ncatlab.org/nlab/revision/graded+bimonoid/14">v14</a>, <a href="https://ncatlab.org/nlab/show/graded+bimonoid">current</a>
Explained how to generate a graded bimonoid using the Hasse-Schmidt derivative.