Timeline for Exponential objects in the category of measurable spaces
Current License: CC BY-SA 4.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 27, 2019 at 21:38 | answer | added | Robert Furber | timeline score: 6 | |
| Jul 24, 2019 at 6:27 | comment | added | Dominic van der Zypen | @AlecRhea thanks for your nice question about maximality, I find it very natural, please do ask it! | |
| Jul 23, 2019 at 7:19 | comment | added | Alec Rhea | @ToddTrimble Ah, I was proposing to post the question separately if you and/or Chris wanted to post answers about what was discussed -- I'm not overly familiar with this area, I just find the question interesting. I only thought to ask it after reading Dominic's question and your comment, so I thought you or Dominic might want to post it (you could probably provide better context/motivation than I :^). | |
| Jul 23, 2019 at 4:48 | comment | added | Todd Trimble | @AlecRhea If you were thinking of posting an answer about this, I think you should go ahead. It surely might be of interest. | |
| Jul 23, 2019 at 3:24 | comment | added | Alec Rhea | @ToddTrimble Serindipitous! I take it the question isn't answered yet, is there enough to say that a question posted might receive a partial answer? (and would I be stealing thunder by posting it?) | |
| Jul 23, 2019 at 2:14 | comment | added | Todd Trimble | @AlecRhea I hope Chris Heunen wouldn't mind my saying that this precise question is an active point of interest, according to a chat we had at the recent CT meeting. | |
| Jul 23, 2019 at 0:50 | comment | added | Alec Rhea | It could be interesting to ask for a maximal cartesian closed subcategory of ${\sf Meas}$, along the lines of Todd's suggestion above. | |
| Jul 14, 2019 at 15:09 | vote | accept | Dominic van der Zypen | ||
| Jul 14, 2019 at 9:53 | comment | added | Robert Furber | And also here: mathoverflow.net/a/104656/61785 | |
| Jul 14, 2019 at 9:07 | comment | added | Robert Furber | This has also been mentioned here before: mathoverflow.net/a/28114/61785 | |
| Jul 14, 2019 at 9:05 | answer | added | Noam Zeilberger | timeline score: 8 | |
| Jul 14, 2019 at 7:01 | comment | added | Dominic van der Zypen | Thanks for your comments - I think the failure of Meas to be cartesian closed should be put as an answer so we can close this thread. | |
| Jul 13, 2019 at 22:40 | comment | added | Noam Zeilberger | Reads ambiguously to me too. Indeed, the failure of Meas to be cartesian closed is discussed as Proposition 6 of arxiv.org/pdf/1701.02547.pdf, citing an old result of Aumann. | |
| Jul 13, 2019 at 21:04 | comment | added | Todd Trimble | The question reads ambiguously to me. Almost surely $Meas$ is not cartesian closed although I'd have to think to give an example. However, the question of which objects are exponentiable in $Meas$ (see ncatlab.org/nlab/show/exponential+object#related_notions) is interesting, just as the corresponding question for $Top$ is interesting. Of course some objects will be exponentiable. | |
| Jul 13, 2019 at 19:44 | history | asked | Dominic van der Zypen | CC BY-SA 4.0 |