Thanks! (I know I could have fixed it too, but I wasn’t 100% sure that I wasn’t missing something.)
]]>Re 9: Yes, sorry there is nothing more to require that is an isomorphism. I deleted this.
]]>Reorganized, corrected and improved a few things.
]]>Thanks. But aren’t those two triangles just the “unit axioms” that hold in any graded monoid?
]]>This page defines a graded monoid to be connected if
I don’t understand what the second condition is for, or even what it means. In a non-strict monoidal category, the source and target of and are not equal, so they can’t be identities. They could be equal to unit coherence isomorphisms, but surely that follows from the first condition and the unit axioms of any graded monoid?
]]>Mentioned that graded monoids are monoidal functors
]]>Added some relations with monoids and defined graded monoid with trivial unit.
]]>Generalized the definition for grading in a commutative monoid.
]]>Link to graded comonoid created
]]>Removed unnecessary binding for variable n in the unit morphism definition.
Anonymous
]]>Added the description of the unit morphism, as it was not present before.
Anonymous
]]>