Guy_Walters
-
Posts
4 -
Joined
-
Last visited
Content Type
Profiles
Forums
Events
Posts posted by Guy_Walters
-
-
I have put down a few thoughts on how we can start to see physics as an interface to underlying "structure". "Structure" is posed without its normal qualifier "Causal" and it will become more clear why I am doing this if you read the paper. Does anybody see, from reading the paper, how we can:
- cast QFT as an epistemic restriction on (causal?) structure?
- categorify the notion of epistemic restriction up to morphisms?
- use internal categories in a monoidal category as a "place" to build structured theories directly from interacting with aparata?
0 -
Hey,
I was playing with Penrose/Coecke diagrams for Hilbert spaces and general linear maps and I discovered a quick proof that catalysis is the trace of a map! Have a look at my blog post.
http://whyilovephysics.blogspot.com/
Ben
0 -
Hey,
Over the past six years I have worked with Lucien Hardy at Perimeter in Waterloo and Prakash Panangaden at McGill. This paper is the culmination of thoughts on physics gleaned from that work.
or try this link
or this link
Preamble:
After completing the requirements for an MSc in Computer Science at McGill University, I have attempted to formulate a novel view which places certain computational and mathematical concepts into the foundations of phycis. The following paper is deeply inspired by Panangaden, Keyes, Blute, Hardy and Ivanov's work as well as Lawvere's functorial semantics. Specifically, it takes an evolving universe as a Domain map with a Scott topology and further abstracts this to continuous functors so that a universe is evolving continuously over all structures. This is based on a tentative belief in a realist causal structure where the order relation is also seen as composition in a category. Attention is given to indefinite causal structure by looking at the Fischer impossibility result as an indication that, while Set is untenable for speaking about the universe, it is possibly natural for the universe to approximate the category of sets when the rich interplay of signalling systems is seen as a consensus protocol. This is all given a local semantics in that all knowledge is understood as derived from morphisms in a local lab. The morphisms in the history of the universe are mapped to local morphisms by a functor and a domain map.
Best,
Ben
0
physics as an interface to underlying structure
in Modern and Theoretical Physics
Posted
By aparata, I meant the plural of apparatus. The plural is important, I am seeing each apparatus as defining its own structural properties or the causal/categorical structures you can probe with that apparatus. The collection of the apparatuses is meant to invoke a large space or category where various structures can be probed, but only by virtue of there being many different apparatuses that do different jobs.