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.
I removed this paragraph from immediately following the definition:
That is, we have two subcategories $R_+$ and $R_-$, such that all arrows in $R_+$ are degree-raising (more precisely, non-degree-lowering) and all arrows in $R_-$ are degree-lowering, and every arrow in $R$ is uniquely decomposible as a degree-lowering followed by a degree-raising.
I donâ€™t see that it adds anything; it just restates the definition in a less-precise and potentially confusing way. (And I just had an email conversation with someone who was actually confused by it.)
1 to 3 of 3