Alex Simpson
|
Registered User
|
Professor of Foundations of Computer Science
Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh, UK |
|
May 6 |
awarded | ● Critic |
|
May 1 |
comment |
Cohen algebra (generalization) @Joseph. Thanks for now extending your answer with the combinatorial characterisations answering (2). |
|
Apr 30 |
comment |
Cohen algebra (generalization) Although there is an accepted answer, it only answers question (1). Question (2) - whether there is a measure-free algebraic/combinatorial characterisation of the measure algebra - seems to me an interesting question, so I am highlighting here that it is still unanswered. |
|
Apr 29 |
comment |
Cohen algebra (generalization) For every measurable set $X$ there exist Borel sets $A,B$ of the same measure as $X$ with $A \subseteq X \subseteq B$. So your "random algebra" is isomorphic to the measure algebra. |
|
Apr 26 |
revised |
Does this kind of endofunctor ever have an initial algebra? Added comment on fan theorem |
|
Apr 25 |
revised |
Does this kind of endofunctor ever have an initial algebra? Clarified countability of clopen sets |
|
Apr 25 |
answered | Does this kind of endofunctor ever have an initial algebra? |
|
Apr 22 |
comment |
Internal Day convolution The co-end formula in the Day convolution is a form of colimit, and I can see no reason for the relevant colimit to be available when the containing category is a general local cartesian-closed category. Shouldn't some cocompleteness assumption be added? |
|
Apr 18 |
awarded | ● Supporter |
|
Apr 18 |
comment |
Obtaining conditional probabilities as pushforwards of [0,1] Thanks very much. Indeed, this is to be found in Section 4 of Rohlin's "On the fundamental ideas of measure theory" paper. |
|
Apr 17 |
asked | Obtaining conditional probabilities as pushforwards of [0,1] |
|
Jan 12 |
awarded | ● Nice Answer |
