Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: community: general

Topic: Multisets, Monads and Physics


view this post on Zulip Ben Sprott (Jul 15 2020 at 21:31):

I am working on, what I consider, a branch of science and physics, which posits that experiments can be a central aspect to science. We model experiments as monads and so data arises naturally in the form of containers like multisets. This is then attached to probability theory naturally as there is a natural transformation from the multiset functor to a measures functor, the finite distribution monad. The "data science" has been completely worked out by Jacobs in "Structured Probabilistic Reasoning". I have attached this to physics in this paper and this paper. I know there are mistakes in these papers and they are not very well written. Regardless, perhaps we can talk about this work here.