Timeline for Monoidal structure on a category with products and with terminal object
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 3, 2012 at 2:30 | comment | added | Spice the Bird | Let $\mathcal{C}$ be a category and $X$ be an object. Then a generalized element of $X$ of shape $Y$ is a morphism, $f:Y\rightarrow X$. We may also write this as $f\in_{Y} X$, for $f$ is a $Y$ shaped element of $X$. See ncatlab.org/nlab/show/generalized+element and also see the book at the website patryshev.com/books/Sets%20for%20Mathematics.pdf. | |
| Nov 2, 2012 at 17:37 | vote | accept | Sergei Akbarov | ||
| Nov 2, 2012 at 17:36 | comment | added | Sergei Akbarov | Generalized elements? What's this? Anyway, I accept Sergio's answer. | |
| Nov 2, 2012 at 17:03 | comment | added | Spice the Bird | It would amount to the same thing if we thought about this in terms of generalized elements. | |
| Nov 2, 2012 at 9:24 | history | edited | Buschi Sergio | CC BY-SA 3.0 |
Simbols, grammars; deleted 6 characters in body
|
| Nov 2, 2012 at 7:54 | comment | added | Sergei Akbarov | Interesting... OK, I need a time to verify the details. | |
| Nov 2, 2012 at 7:26 | history | answered | Buschi Sergio | CC BY-SA 3.0 |