Timeline for What is the category of algebras for the finitely supported measures monad?
Current License: CC BY-SA 4.0
19 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 3, 2022 at 21:04 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Apr 5, 2022 at 19:03 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 6, 2021 at 18:02 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Aug 8, 2021 at 18:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jul 9, 2021 at 17:02 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jun 9, 2021 at 15:26 | answer | added | Ben Sprott | timeline score: 1 | |
| S Oct 16, 2018 at 16:00 | history | bounty ended | CommunityBot | ||
| S Oct 16, 2018 at 16:00 | history | notice removed | CommunityBot | ||
| Oct 9, 2018 at 4:25 | history | edited | Ben Sprott | CC BY-SA 4.0 |
added 8 characters in body
|
| Oct 9, 2018 at 1:15 | comment | added | Ben Sprott | If anyone wants to write up an answer, I will award it. | |
| Oct 8, 2018 at 20:44 | comment | added | Robert Furber | I think the question is more or less answered by this question: mathoverflow.net/questions/38863/re-seating-a-monad The finite distribution monad (what you call $H$) is a finitary monad, and the category of groupoids is locally finitely presentable, so we can, using the Lawvere theory of $H$, re-seat it onto the category of groupoids in the manner described in the linked question. | |
| Oct 8, 2018 at 20:37 | comment | added | Robert Furber | @darijgrinberg These spaces are repeatedly rediscovered under different names, as is the characterization of those that embed in vector spaces by a cancellation property. See the first part of this: arxiv.org/pdf/0903.5522.pdf | |
| Oct 8, 2018 at 18:22 | comment | added | Ben Sprott | @darijgrinberg if you have a suggestion for the title, let me know. | |
| Oct 8, 2018 at 17:39 | comment | added | darij grinberg | That said, I find the question quite interesting. The algebras for the $H$ monad are something like affine spaces, except that instead of taking arbitrary affine combinations, you can only take convex combinations. So, some sort of abstraction of convexity. Has anyone seen it? | |
| Oct 8, 2018 at 17:33 | comment | added | darij grinberg | Algebras don't form the Kleisli category, but form the Eilenberg-Moore category. So the title of this question does not reflect the actual post. | |
| S Oct 8, 2018 at 14:44 | history | bounty started | Ben Sprott | ||
| S Oct 8, 2018 at 14:44 | history | notice added | Ben Sprott | Draw attention | |
| Oct 6, 2018 at 4:31 | history | edited | Ben Sprott | CC BY-SA 4.0 |
edited body
|
| Oct 6, 2018 at 3:10 | history | asked | Ben Sprott | CC BY-SA 4.0 |