Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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 $\eta \otimes \nabla_{0,p}$ and $\nabla_{n,0} \otimes \eta$ 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?
Thanks. But aren’t those two triangles just the “unit axioms” that hold in any graded monoid?
Re 9: Yes, sorry there is nothing more to require that $\eta$ is an isomorphism. I deleted this.
Thanks! (I know I could have fixed it too, but I wasn’t 100% sure that I wasn’t missing something.)
1 to 12 of 12