Started thunk-force category.
]]>I´m Software Architect experienced in Optimization Algorithms and Distributed Expert Systems. I have recently developed a technique which breaks limitations on Neural Persistence, on which I want to release my research article. However, I think that it is recomendable firstly to introduce appart the philosophical proceeding using fibred categories as a powerfull innovation in research level. I want to review and discuss this publicly for a better acceptance before resarch article comes out.
Please find out below and give me your feedback:
http://ixilka.net/publications/innovations_in_maths.pdf
]]>Hi,
Ahman, Chapman and Uustalu have given some prescriptions as to when a container is a comonad and when it is a monad.
The prototypical data structure that is a monad is List, as described here.
In their paper on Containers and comonads, Ahman et alias give the example of Trees as a comonad, where the comultipication is trees of trees. Each node gets labelled with the sub-tree that extends from that node.
The next step in this reasearch is to find the container that is a Frobenius Monad. One could also find the container that is a bimonad, but I am most interested in the Frobenius monad.
I am a physicist and my intuitions come from physics. I am fairly convinced that spacetimes can be seen as containers.
I have written a paper that gives a model of experiments and how theories relate to experiments. I give an example of how experiments can be modeled with the List monad. It needs to be improved to include the idea from General relativity that there is no universal background clock. I believe I need Frobenius monads for that.
Panangaden and Martin showed that spacetimes are equivalent to interval domains.
My conjecture is that something very much like a domain of intervals is a Frobenius container. I was toying around with the idea and thought about a domain where each node contained a total order. Then the multiplication could take a domain of total orders of total orders to a domain of total orders by just concatenating.
I am interested in any example of a Frobenius container, so if you can think of one, please post it.
]]>Wheeler wanted to reduce physics to geometry in an even more fundamental way than the ADM reformulation of general relativity with a dynamic geometry whose **curvature changes with time. *
Link: https://en.wikipedia.org/wiki/Geometrodynamics
If there is a way to verify that curvature is a reality, then we may have laid the first piece of evidence for Wheeler’s Quantum Geometrodynamics.
Nicholas Ibrahim Hosein, 2016.
]]>