After talking to kneemo recently, I noticed that the current trend in categorical physics had not swayed far from its roots a decade or two ago. A topological field theory is still a functor from a category of spaces to a category of algebraic objects, although these may now be higher dimensional categories with a rich structure. In noncommutative geometry, one uses an algebraic description of a space to generalise spaces beyond commutative ones. But even here, spaces are still spaces and algebras are algebras.

Descartes must be rolling in his grave, to say nothing of the modern algebraic geometers. How artificial, this distinction between algebra and space. Nice functors are endofunctors, so we should really start with a category that contains all algebras and spaces. Fortunately, we might be able to make them all look like matrices! Computer scientists like Vaughn Pratt have long taken this idea seriously, and they study just the kind of dualities that are used to define noncommutative geometry.

Of course, triality should also make its appearance, if physics has its fair say. So much to do.

8 years ago

you could study the physics behind the Planck constant and the Planck scale. The latter has been much studied, but the former?

ReplyDeleteMarni,

ReplyDeleteBut if we resolve everything to matrices- from the quantum view is this not a discrete rather than a continuous wave physics?

For me, although it has been a long first intuition, I see particle exchange say between two nucleons as that literal duality say between a cube (hypercube) and a octahedron (8-cell).

I think we need some new metaphysics- a few deeper ideas than any of the old philosophers imagined.

But I shall return with comments when I follow your links and terms here.

Oh, I found nothing that startling nor anything to disagree with- well, triality sounds like a great direction (n-ality actually)

The PeSla

Ulla, such constants are always in our minds. ThePeSla, basically I do agree with you. In the context of this blog, a 'matrix' is not an elementary object from linear algebra.

ReplyDelete