Timeline for When aren't products iterated coproducts?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 24, 2021 at 9:40 | vote | accept | Alec Rhea | ||
| Feb 24, 2021 at 9:22 | answer | added | Achim Krause | timeline score: 3 | |
| Feb 24, 2021 at 9:19 | comment | added | Alec Rhea | @AchimKrause That definitely does answer it, I'm embarrassed. If you'd like to post that as an answer I'll accept it, or if you don't want to I can delete the question. | |
| Feb 24, 2021 at 9:16 | comment | added | Achim Krause | Why doesn't the section "relation to the product" at ncatlab.org/nlab/show/dependent+sum answer your question? | |
| Feb 24, 2021 at 8:40 | comment | added | Alec Rhea | @IvanDiLiberti That's interesting, but I'm not familiar enough with enriched category theory to suss out the connection; could you elaborate on it a bit more? | |
| Feb 24, 2021 at 8:35 | comment | added | Ivan Di Liberti | In enriched category theory, this kind of phaenomena is linked to be tensored (or copowered). See ncatlab.org/nlab/show/powered+and+copowered+category. | |
| Feb 24, 2021 at 8:25 | history | asked | Alec Rhea | CC BY-SA 4.0 |