Timeline for Which categorical (coproduct-like) operation captures integration of measures?
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 12, 2011 at 23:41 | answer | added | Dmitri Pavlov | timeline score: 7 | |
| Jan 9, 2011 at 5:02 | comment | added | Theo Johnson-Freyd | I've heard words along the lines of "direct integral" --- something that generalizes direct sums. I think the context is slightly different, but maybe it's close enough that you can adapt the definition? | |
| Jan 8, 2011 at 23:44 | comment | added | David Roberts♦ | Dependent sum? See ncatlab.org/nlab/show/dependent+product | |
| Jan 8, 2011 at 20:43 | comment | added | Łukasz Grabowski | @Scott: if (X,a) is a finite set with the counting measure then (Z,c) is a coproduct of (Y,b_x) in the category of measure spaces with measure preserving maps. If the measure is other than counting - more "assymetric", as you could maybe put it - then the answer should be more complicated and involve some additional structure, but imho there should be a satisfactory answer. | |
| Jan 8, 2011 at 18:44 | comment | added | S. Carnahan♦ | It looks like the measure on $Z$ is specified in a very asymmetric way, so I can't see how it could be a coproduct. | |
| Jan 8, 2011 at 18:31 | history | asked | Łukasz Grabowski | CC BY-SA 2.5 |