Timeline for Generalization of category algebra
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 5 at 0:27 | vote | accept | Hang | ||
| Sep 26 at 2:22 | comment | added | Hang | Thanks for your answer again. I was wondering if the following idea might work, and would greatly appreciate your comment: First, we take the free module generated by the set of all multi-morphisms, denoted by F. But, F may be too large to have an unambiguous product. So, a naive approach is simply taking the quotient of F with respect to the following equivalent relation: we say two multi-morphisms are equivalent if they are compositions of the same set of multimorphisms, differing only in the positions where the compositions occur. But, I am not sure if this is well-defined. | |
| Sep 23 at 5:12 | vote | accept | Hang | ||
| Oct 5 at 0:26 | |||||
| Nov 19, 2023 at 0:35 | comment | added | Kevin Carlson | @Hang I guess. It’s not a very natural condition on a multicategory. Better to let the object you’re studying guide the construction rather than the other way around, I think. | |
| Nov 18, 2023 at 18:57 | comment | added | Hang | Thank you! Probably, we should assume the domains of multimorphisms are all different (in particular, we may exclude $(a, a)$ as you mentioned). Then, we may likely make it into an $R$-algebra, I guess. | |
| Nov 18, 2023 at 0:05 | history | answered | Kevin Carlson | CC BY-SA 4.0 |