Timeline for Interesting Grothendieck topologies or coverages on the category Prob
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 28, 2023 at 10:32 | vote | accept | Maat | ||
| Nov 22, 2023 at 21:44 | answer | added | Jens Hemelaer | timeline score: 4 | |
| Oct 30, 2023 at 8:59 | comment | added | Jens Hemelaer | It can help to first attempt to describe the topos of sheaves you want to end up with, and then work backwards to find the appropriate Grothendieck topology. The finite probability spaces will be the representable sheaves. So you can ask yourself: if I take the coproduct of two representable sheaves, do I want that the result is again a representable sheaf, and which one? The maps between sheaves will be "locally measure preserving maps" in some sense, similar to how maps between schemes are described locally by maps between affine schemes. | |
| Oct 26, 2023 at 20:42 | comment | added | LSpice | I don't know about Prob specifically, but I strongly suspect "is there a general way to endow a given category with an interesting Grothendieck topology?" is likely to be as hard to answer as "is there a general way to endow a given set with an interesting topology?". | |
| Oct 26, 2023 at 15:53 | history | edited | YCor | CC BY-SA 4.0 |
formatting title (no boldface works in title)
|
| S Oct 26, 2023 at 15:46 | review | First questions | |||
| Oct 26, 2023 at 15:57 | |||||
| S Oct 26, 2023 at 15:46 | history | asked | Maat | CC BY-SA 4.0 |