Timeline for Why are dependent sums and products called sums and products?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| 12 hours ago | vote | accept | Greg Nisbet | ||
| 12 hours ago | comment | added | Greg Nisbet | Oh, I get it. $\Sigma$ is like a bunch of constructive disjunctions distributed over a type, like literally. Thanks that clears it up. | |
| 12 hours ago | history | answered | Trebor♦ | CC BY-SA 4.0 |