Timeline for Maximal cartesian closed subcategory of ${\sf Meas}$
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 25, 2019 at 11:56 | comment | added | kirk sturtz | I believe, assuming you want Cartesian closed and ``not just'' monoidal closed, then that will occur when the monoidal closed structure coincides with the Cartesian closed structure - so that your evaluation maps are measurable. But that is only going to occur for countable spaces (in which case the tensor product sigma-algebra coincides with the product sigma algebra structure). | |
| Jul 25, 2019 at 11:00 | review | First posts | |||
| Jul 25, 2019 at 11:54 | |||||
| Jul 25, 2019 at 10:58 | history | answered | kirk sturtz | CC BY-SA 4.0 |