Category theory and beyond the standard model

In summary, the book is an introduction to the manipulations with sets that mathematicians use in daily life - which are best explained using category theory. It is a unification in the sense that the number of types of objects has been reduced to just one (a logic block that has inputs and outputs). This is something I wholeheartedly agree with.
  • #1
CarlB
Science Advisor
Homework Helper
1,239
34
Kea tells me that a good first book to read to learn category theory is

Sets for Mathematics $45
F. William Lawvere and Robert Rosebrugh
Advanced undergraduate or beginning graduate students need a unified foundation for their study of mathematics. For the first time in a text, this book uses categorical algebra to build such a foundation, starting from intuitive descriptions of mathematically and physically common phenomena and advancing to a precise specifcation of the nature of categories of sets.

Set theory as the algebra of mappings is introduced and developed as a unifying basis for advanced mathematical subjects such as algebra, geometry, analysis, and combinatorics. The formal study evolves from general axioms that express universal properties of sums, products, mapping sets, and natural number recursion. The distinctive features of Cantorian abstract sets, as contrasted with the variable and cohesive sets of geomtry and analysis, are made explicit and taken as special axioms. Functor categories are introduced to model the variable sets used in geometry and to illustrate the failure of the axiom of choice. An appendix provides an explicit introduction to necessary concepts from logic, and an extensive glossary provides a window to the mathematical landscape.
https://www.amazon.com/dp/0521010608/?tag=pfamazon01-20

It is also available in hardback, but I have the paperback, linked above.

When I opened the book and read at random, I was briefly convinced that it wasn't telling me anything I didn't already know. All the usual undergraduate analysis is here. It just doesn't seem very difficult. On the other hand, Kea tells me that category theory has great possibilities for moving beyond the standard model.

This combination, ease of material, and power of use, make the book very attractive to me. You can be sure I will be reading it, and making comments here. Hopefully Kea will drop by and contribute to how this is related to braids and all that.

I can hardly wait to see what sort of connection there is between the axiom of choice and physics, though I always had my doubts about how physicists treated "infinity".
 
Last edited by a moderator:
Physics news on Phys.org
  • #2
CarlB said:
It just doesn't seem very difficult.

It's not supposed to be. As the the title suggests, it's an introduction to the manipulations with sets that mathematicians use in daily life - which are best explained using category theory.

Nothing about braids, tangles, topological quantum field theory, or spin foams here! For that, you'll have to go elsewhere... but, if you read this book, you'll absorb some of how category theorists think about math. Products, coproducts, equalizers, coequalizers, pushouts, pullbacks, and exponentials - all that kind of important basic stuff.
 
  • #3
It appears that the majority of these things are stuff that I already knew, but with the following changes, so far:

(1) Old terminology has become obsolete. What I called a "range" in 1976 is now called a "codomain". And there's no entry in the index for "open", but I know they discuss topology.

(2) There is a very strong concentration on mappings.

(3) A lot of things I was taught in separate classes are now united under one topic. For example, De Morgan's law and differentiation.

(4) It seems that some of the concepts of computer science have leaked into the definitions.

I guess I can see how some of this might be useful in physics. I recall that Kea told me that what got her interested in this was in the improvement in the traditional sloppy physics use of infinite sets. The stuff I'm doing right now involve discrete degrees of freedom and these problems don't occur, but my next book has to deal with this.

The concentration on mappings, rather than sets and functions (which reminds me of digital design), is a unification in the sense that the number of types of objects has been reduced to just one (a logic block that has inputs and outputs). This is something I wholeheartedly agree with. It is the reason I geometrize the density operator formalism rather than following Hestenes and geometrize state vectors. Hestenes has to geometrize two types of objects; I only have one, it is trivial, and unlike Hestenes' spinor geometrization, the geometrization of the operators is unique. To see the confusion / lack of uniqueness / that comes from trying to geometrize spinors, see yet another great article by Baylis:
http://www.arxiv.org/abs/quant-ph/0202060

So far, the changes in terminology seem like an improvement, but where I found (graduate) abstract algebra the most difficult was in the huge number of definitions that proliferated in it. I could work homework problems by writing down enough definitions, but I could / would never memorize enough to survive a test. So I'm a little worried about how many definitions they are going to throw at me. I can't imagine being 50 is going to help.

Hey, if there's someone else wants to learn this, post a message and I'll quit reading till you've got your copy. At $45 it's an inexpensive textbook.

Nothing about braids, tangles, topological quantum field theory, or spin foams here! For that, you'll have to go elsewhere... but, if you read this book, you'll absorb some of how category theorists think about math. Products, coproducts, equalizers, coequalizers, pushouts, pullbacks, and exponentials - all that kind of important basic stuff.

At this point, I'm quite convinced that the way you guys are going about this is difficult, divorced from physical principles, and will leave you forever unable to make much in the way of useful calculations. The problem is the same one that has plagued QM for decades. Symmetry principles give too many arbitrary constants. Abstract mathematics isn't going to solve that problem. You will always be drowning in experimentally determined constants.

You need to use geometry, not symmetry, at the foundations of physics; and try to describe what is, rather than what its symmetries are. You need to postulate simple equations of motion, rather than simple symmetries (that then have to be broken, LOL). All this means giving up too many things that you know are true. Like the fist-trapped raccoon, all you have is a shiny bauble in your paw.
 
  • #4
CarlB said:
When I opened the book and read at random, I was briefly convinced that it wasn't telling me anything I didn't already know. All the usual undergraduate analysis is here. It just doesn't seem very difficult.

A jolly hello from a well fed Kea!

I'm sorry Carl, if you end up finding the book a waste of time because it's too simple. I had the impression that you wanted to build up a collection of books starting from the bottom up, and one can't do better than Lawvere et al, who are masters. I've seen the book in a library, but I don't actually have a copy.

Naturally, I agree with Carl about symmetry (:mad:), but until we have the full derivation of lepton masses worked out one can't really expect people to drop such ingrained prejudices. I was just looking through an old QFT textbook from the 1970s. It is striking how convinced the authors were about massless neutrinos given the helicity argument in the context of parity violation.

When I get a computer again, I will try and draw some diagrams here. Unfortunately, I don't know when that will be. Happy New Year.

:smile:
 
  • #5
CarlB said:
Like the fist-trapped raccoon, all you have is a shiny bauble in your paw.

Merry Christmas to you too!

I don't just study symmetry, by the way - I love geometry and think about it a lot. This hasn't succeeded in letting me figure out the Theory of Everything, but I'm probably just being dumb.
 
  • #6
Kea said:
I'm sorry Carl, if you end up finding the book a waste of time because it's too simple.

Oh no! The book is exactly what I asked for and exactly what I needed. I'm quite stupid and have to learn things by starting at the very very bottom. Learning QM was very very difficult for me because they start out at such an abstract level.

Kea said:
Naturally, I agree with Carl about symmetry (:mad:), but until we have the full derivation of lepton masses worked out one can't really expect people to drop such ingrained prejudices. I was just looking through an old QFT textbook from the 1970s.

From reading Lawvere, I realized that my problem is not with symmetry in physics per se, but instead excessive abstraction in general. As one gets away from the physics, one ends up having difficulty distinguishing between reality and imitations of reality. In this, I guess I am becoming more and more of an admirer of Newton.

And as far as breaking down ingrained prejudices, you'll be happy to hear that my New Years resolution is to get published in peer reviewed journals. I will break the derivation out into about 12 pieces and publish separately. It will be great entertainment.

Kea said:
It is striking how convinced the authors were about massless neutrinos given the helicity argument in the context of parity violation.

They had very good reason for believing in zero neutrino masses. A great (though not yet released) source on this is

The Standard Model, A Primer
Cliff Burgess and Guy Moore 2007
In this chapter we encounter the first (and, as of this writing, only) known case where there is good evidence that the standard model does not provide a good description; the phenomenon of neutrino oscillation. (p 395)
...
Requiring [tex]k_{mn}\nu[/tex] to be this small requries the eigenvalues of the matrix [tex]k_{mn}[/tex] must be [tex]< 10^{-11}[/tex]. Indeed, the cosmological bound constrains the sum of eigenvalues, and so requires [tex]\tr k_{mn} < 4 \times 10^{-12}[/tex]. This is to be contrasted with the other Yukawa coupling matrices, for which [tex]\tr f_{mn} ~ 10^{-2},[/tex] [tex]tr h_{mn} ~ 2.5 \times 10^{-2},[/tex] and [tex]gr_{mn} ~1.[/tex] Of course we do not understand why any of the fermion masses are what they are :smile: , but one must always pause when arbitrarily setting dimensionless couplings to be zero to more than ten decimal places.

These same models similarly require extremely small choices to be made for the dimensionful Majorana mass parameters, [tex]M_n.[/tex] For instance, for the Dirac-neutrino to be correct the masses, [tex]M_n,[/tex] must satisfy the extraordinary bound [tex]M_n < 10^{-20}\mu,[/tex] where [tex]\mu[/tex] is the mass parameter appearing in the Higgs potential, see Eq. (2.26), and indeed is the only other mass parameter at all in the standard model. By contrast, the normal situation in the standard model is that all couplings which can be present on the grounds of symmetry and renormalizability are actually measured to be nonzero. The sole exception is the [tex]\Theta_3[/tex] term in Eq. (2.13), which satisfies [tex]|\Theta_3| < 10^{-9}.[/tex] (The puzzle as to why this is so is discussed in Section 11.4) A Dirac-neutrino scenario must explain why the same should be true (with extraordinary accuracy) for the Majorana neutrino masses.
...
In the standard model without right-handed neutrinos, the hypercharges of all particles are determined uniquely (up to overall normalization) by gauge-anomaly cancellation, as we saw in Subsection 2.5.3. This guarantees that the quark hypercharge assignments ensure that the neutron electric charge is precisely zero. [note, compare with Sweetser's gravity and electromagnetic unification theory, which denies that the neutron's electric charge is not quite exactly zero] Adding an N field to each generation adds a new contribution to Eq. (2.131), which turns out to make it hold automatically. [which is what you want, no?] In the theory with an N particle added, the anomaly-cancellation conditions remain satisfied even if we shift each particle's hypercharge y by d times its B-L charge, for any d. Such a shift would change the electric charge of the neutron by d. Since the neutron's electric charge is measured to differ from zero by no more than [tex]10^{-21},[/tex] a theory with an N field and exact B-L conservation requires an extraordinary fine tuning of particle hypercharges. (On the other hand, when a Majorana-mass term like [tex]M\bar{N}N[/tex] is present, gauge invariance of that term demands d=0, and so again ensures the exact neutrality of the neutron.)
(pp 423-4)
https://www.amazon.com/dp/0521860369/?tag=pfamazon01-20

Uh, the comments in [ ] and the laughing face are my annotations to the original text.

In short, the expectation that the neutrino mass was zero is the same defect which accompanies other attempts to enforce symmetry (beauty) onto non symmetrical situations. The circle is symmetrical, the Earth's orbit is circular (to first order), therefore we assumed that the orbits of planets are exactly circular. More observations, and you get epicycles. And later, if nothing else had been found, we'd have been using epicycles on epicycles. As soon as you admit "symmetry breaking" in your toolbox, you can do any old thing with it.

I have an early copy of the book because I bought a (defective) copy from the publisher at the DPF meeting in Hawaii.
 
Last edited by a moderator:
  • #7
john baez said:
Merry Christmas to you too!

Sorry if I confused you with the John Baez who asked what the fool's golden ratio was:
https://www.physicsforums.com/showthread.php?t=143745

whose question I answered precisely in post #6 of the above, but who then managed to write a "This Week’s Finds in Mathematical Physics" that didn't mention my contribution here:

http://math.ucr.edu/home/baez/week241.html

By the way, I added a page with photos of pyrite crystals showing the two types of pyritohedron, with faces labeled, here:
http://www.brannenworks.com/xtl/pyrite/

I sent a link to the above to sci.physics.research, but the moderators threw it away. This sort of treatment of amateurs is quite common in the physics community, and believe me, if they expect better treatment the other way around, they are living in a fantasy land. Humans aren't like that.

john baez said:
I don't just study symmetry, by the way - I love geometry and think about it a lot. This hasn't succeeded in letting me figure out the Theory of Everything, but I'm probably just being dumb.

As a good start in understanding geometry, you would be well advised to study how geometry provided the first evidence for the existence of atoms, namely, the fact that the angles of crystal faces can be defined by rational ratios, the Miller Indices. Anyone who has to have an amateur explain crystal faces to them certainly has quite a lot left to learn about the application of geometry to physics.

The most elegant way of defining crystal faces in geometry was discovered fairly recently, by David Hestenes, and relies on his geometric (Clifford) algebra:
http://modelingnts.la.asu.edu/html/SymmetryGroups.html
 
Last edited by a moderator:
  • #8
kneemo said:
So we see there is more than one way of describing the geometry behind the standard model. This reminds us of the situation back in 1872, when Felix Klein delivered an inaugural address proposing a unifying principle for classifying the various geometries being developed at the time.

One can take pretty much any mathematics and call it "geometry" by putting the right spin on it. When I say "geometry", what I mean is stuff that has an immediate and obvious meaning in terms of things that would be recognized as "geometry" by the Egyptians who built the pyramids.

With regard to the geometry of a wave function, I am saying that you have to tie the theory back to the set of stresses you can place onto the manifold you choose for spacetime. For example, with the geometric algebra, a scalar corresponds to a localized compression (if positive) or a rarefaction (otherwise). A vector corresponds to a local stress in the given direction. A bivector implies a localized region rotated in a manner defined by an oriented plane. A trivector implies a localized region which is hard to describe, but is the only remaining localized deformation.

All these stresses are easy to demonstrate with rubber bands and balls in 3 dimensions and are quite intuitive. You can show the equivalent in 2 dimensions by twisting a paper napkin in various directions. That their generalization to 5 dimensions is sufficient to derive the elementary particles means a hell of a lot.

The "trouble with physics" is that it is an accreted science and has become divorced from physical reality and physical intuition. Graduate students who want to understand reality are told to "shut up and calculate."

Many years ago, one of my students told me that I should read Herman Hesse's book "The Glass Bead Game". I was a young man with a young man's love and respect of science and mathematics, and I thought her advice was a bit insulting. Perhaps for that reason, I didn't read the book immediately, even though I loved pretty much all of Hesse's other books. It was only after a decade or two that I got around to reading "The Glass Bead Game".

The "Glass Bead Game" is set in the distant future. It is set in a sort of a giant university which is devoted to the life of the mind. The intellectuals who live there play the Glass Bead game. The rules of the game are never specified, but they are known to be so sophisticated that they are difficult to imagine. Wikipedia calls it an "abstract synthesis of all arts and scholarship". It proceeds by players making deep connections between similarly unrelated topics." Sound familiar?

Part of the theme of the Game is that none of the practitioners have any desire to make the game easier to learn. It reminds me of the distate that Schwinger supposedly had for Feynman's "bringing field theory to the masses". Of course I am also a great worshiper of Schinger and the stuff I am doing is based on his "Measurement Algebra" that also treats the vacuum as a convenient mathematical fiction. And now that I think of it, I am a great worshipper of Einstein and Feynman too.

The problem arises from assuming that the course of physics to the present day cannot possibly have had any errors, for example that the principles of symmetry have been proven beyond all doubt.

To the extent that QM and GR do not fit cleanly with each other and can be united, each theory impeaches the other. Going to higher levels of abstraction can hide the incompatibility in the ontology of the two theories, but they cannot possibly repair it.

The inherent arrogance of people in academia is based in a certain part on the fact that the competition for academic jobs is fierce, therefore the survivors must be the very best, LOL. Of course this is nonsense of the sort that can be proposed only by someone who can ignore basic economic theory. If you want to see examples where only the very best are employed, you have to look in occupations where the pay is high, for example, pro sports.

In short, what I'm saying here is that mathematical sophistication is a great thing for solving problems. But it makes a lousy foundation, no foundation at all, really. Every other science, for example, biology or chemistry, is based on a foundation of real objects that exist in three real dimensions and have real existence, with an ontology that makes complete sense intuitively. Physics does not. That is the "trouble with physics".

Carl
 
Last edited:
  • #9
CarlB said:
In short, what I'm saying here is that mathematical sophistication is a great thing for solving problems. But it makes a lousy foundation, no foundation at all, really. Every other science, for example, biology or chemistry, is based on a foundation of real objects that exist in three real dimensions and have real existence, with an ontology that makes complete sense intuitively. Physics does not. That is the "trouble with physics".
Not with the whole physics. Only with quantum physics, I would say.
 
  • #10
CarlB said:
The "trouble with physics" is that it is an accreted science and has become divorced from physical reality and physical intuition. Graduate students who want to understand reality are told to "shut up and calculate."
It's rather arrogant to think that the biases one picked up when they were a little kid happen to give a completely accurate picture of physical situations one never experienced, don't you think?

"Shut up and calculate" is only the first step -- it's not until you forget your prejudices about how the universe should operate, that you stand a chance to develop an intuition about how it actually does operate.


(The same happens in mathematics too -- I've even seen a functional analysis textbook explicitly state in the preface that the reader should relearn linear algebra in the infinite-dimensional case -- he should forget all of the intuition he developed for finite-dimensional linear algebra because it's more likely to lead him astray than to be helpful)
 
Last edited:
  • #11
CarlB said:
Sorry if I confused you with the John Baez who asked what the fool's golden ratio was:
https://www.physicsforums.com/showthread.php?t=143745

whose question I answered precisely in post #6 of the above, but who then managed to write a "This Week’s Finds in Mathematical Physics" that didn't mention my contribution here:

http://math.ucr.edu/home/baez/week241.html

That's the same John Baez - me. I'm sorry I didn't thank you for answering that question. I've now corrected http://math.ucr.edu/home/baez/week241.html" to thank you for that help.
 
Last edited by a moderator:
  • #12
Hurkyl said:
It's rather arrogant to think that the biases one picked up when they were a little kid happen to give a completely accurate picture of physical situations one never experienced, don't you think?

"Shut up and calculate" is only the first step -- it's not until you forget your prejudices about how the universe should operate, that you stand a chance to develop an intuition about how it actually does operate.


(The same happens in mathematics too -- I've even seen a functional analysis textbook explicitly state in the preface that the reader should relearn linear algebra in the infinite-dimensional case -- he should forget all of the intuition he developed for finite-dimensional linear algebra because it's more likely to lead him astray than to be helpful)

Even though it is not directed to me, I shall respond to it just because I am fed up with such nonsense. First of all, CarlB didn't say anything about preconceptions from his childhood :rolleyes: so it is hardly fair to say so. Second, and this is what bugs me, every researcher has some set of prejudices about how the universe operates. No-one who is not sufficiently convinced about his/her (educated) picture of the world, is going to sacrifice a significant part of his/her life to this question and/or do good work with relevance for physics. The textbook example you give is irrelevant since people actually learned new tools were necessary to understand infinite dimensional algebra, so that they can now tell this to you. Concerning our quest for a deeper understanding of the universe, there is by far no such luxury yet (and indeed the very formulation of the problem allows for some liberties), so there is a set of ``valid prejudices'', but prejudices are needed nevertheless. If you want to do research in LQG -say- you need to be convinced that background independence is an indispensable ingredient to the puzzle.

Careful
 
  • #13
Hurkyl said:
It's rather arrogant to think that the biases one picked up when they were a little kid happen to give a completely accurate picture of physical situations one never experienced, don't you think?

When I was a graduate student I agreed with you completely. But particle physics was still making real progress at that time, in terms of new predictions matching new experiments. Plus, I was naive like most youth, and, in the absence of the internet, I had been carefully exposed only to the arguments that were in favor of the accepted conclusions.

Now, with the internet, it's a lot easier to hear the other side of things. For example, here's Julian Schwinger talking about a version of QM where the creation and annihilation operators are not physical, but instead are mathematical fictions convenient for calculation:
http://www.pnas.org/cgi/reprint/46/2/257.pdf

At this time, with physics a little stuck, I think it is time to look around and consider the possibility that things are not as they seem. As your post accurately describes, this is something we have all been through already. Are we ever anything other than naive little children? What I'm saying is that if we want to rewrite the foundations, we may have to do it again, and the natural place to start is with the assumption that our naive view of the world has something to do with reality.

I think that the excessive abstraction of physics is best illustrated by the quote of Einstein from a few months before his death, something to the effect that the passage of time is an illusion, and that all time exists in the same object. What I'm proposing is that this is abstract nonsense, and that there is a "now", and that Einstein is dead, and that we are alive but soon will not be, and that all these are fundamental facts about the universe that are more significant than simply noting relative coordinates of two events in a particular choice of coordinates, t_a < t_b.

There is a lot of discussion about the absence of an arrow of time in the physics equations. I think it is clear where the absence comes from, the equations were not written with one, so it can only appear statistically. One can then make a "formal argument" along the line that time is an illusion, etc.

If these sorts of arguments had solved the various physics riddles that have survived this past quarter century, or even allowed a unification of QM and GR, then I think one could make a strong argument that formal nonsense is sensible. However, this is not the case.

Carl
 
Last edited:
  • #14
john baez said:
That's the same John Baez - me. I'm sorry I didn't thank you for answering that question. I've now corrected http://math.ucr.edu/home/baez/week241.html" to thank you for that help.

Dr. Baez,

I hope you will accept my apologies for being snippy. It's difficult for amateurs and cranks to not walk around with a bit of a chip on their shoulders.

Carl
 
Last edited by a moderator:
  • #15
Careful said:
Second, and this is what bugs me, every researcher has some set of prejudices about how the universe operates.
Surely there must exist at least one objective researcher!

No-one who is not sufficiently convinced about his/her (educated) picture of the world, is going to sacrifice a significant part of his/her life to this question and/or do good work with relevance for physics.
One can be convinced for reasons other than preconceived bias. But I don't see why one must be preconvinced of something in order to do successful research anyways.

If you want to do research in LQG -say- you need to be convinced that background independence is an indispensable ingredient to the puzzle.
Might not someone do research in LQG simply because they find it interesting? Or because previous work suggests it may be a fruitful approach? Why do you think a mind closed to the alternatives is a prerequisite for researching LQG?
 
Last edited:
  • #16
CarlB said:
the natural place to start is with the assumption that our naive view of the world has something to do with reality.
You mean the one where heavy objects fall faster than light objects, the Sun orbits the Earth, and electrons race through power lines at high speed?

That paragraph wasn't meant to be flippant. I'm trying to point out that this isn't a natural place to start: your choice is presumably a by-product of your experience and education.


But this is getting far afield from the point I wanted to make, which was formal, not physical -- specifically, elevating one's intuition above one's reason, and the implication that just because you find something unintuitive, so must everyone else.


Just to make it clear, I'm not saying you've chosen a bad place to start: I'm saying that you're making unwarranted statements in your rationalization of that choice.


I think that the excessive abstraction of physics is best illustrated by the quote of Einstein from a few months before his death, something to the effect that the passage of time is an illusion, and that all time exists in the same object. What I'm proposing is that this is abstract nonsense, and that there is a "now", and that Einstein is dead, and that we are alive but soon will not be, and that all these are fundamental facts about the universe that are more significant than simply noting relative coordinates of two events in a particular choice of coordinates, t_a < t_b.
I don't see how one is more abstract than the other.


Rereading your post again, I noticed this:

CarlB said:
Part of the theme of the Game is that none of the practitioners have any desire to make the game easier to learn.

This is one of the very things that the process of abstraction is meant to do -- you start with some notion, which may be very complicated, or it may be a poorly expressed intuitive notion. You study the notion to distill its essential features -- i.e. create an abstraction. Now that you know the essential features, you can focus your study on those. Also, someone who doesn't understand the complicated notion, or hasn't been able to learn your intuitive notion through osmosis, is able to start working with the abstraction, making it easier to build up their intuition.
 
Last edited:
  • #17
Hurkyl said:
Surely there must exist at least one objective researcher!

Does not exist. I am quite astonished I should hear this from someone who adopts the MWI interpretation of QM :biggrin:


Hurkyl said:
But I don't see why one must be preconvinced of something in order to do successful research anyways.

It depends upon what you call successful and on the research you are doing.

Hurkyl said:
Why do you think a mind closed to the alternatives is a prerequisite for researching LQG?
I did not say such thing, I said that you strongly need to believe in background independence in order to do LQG. Why ? Because I cannot come up with any other sensible reason.
 
Last edited:
  • #18
CarlB said:
I hope you will accept my apologies for being snippy.

Sure! It's very noble of you to offer them. And, I'd be unhappy being on bad terms with the guy who told me the Miller indices of the pyritohedron!

It's difficult for amateurs and cranks to not walk around with a bit of a chip on their shoulders.

Yes, I know a bunch of smart people interested in math and physics who are not in academia, who have to put up with a lot of condescension from academics. But, as George Herbert said, living well is the best revenge.
 
  • #19
CarlB said:
From reading Lawvere, I realized that my problem is not with symmetry in physics per se, but instead excessive abstraction in general.

Carl, we're just old folks. Teenage undergraduates take courses in category theory now (in a few places, anyway). It it no more obscure to them than Clifford algebras or crystallography.

And as far as breaking down ingrained prejudices, you'll be happy to hear that my New Years resolution is to get published in peer reviewed journals.

Have you been into your friend's liquor cabinet? This is highly uncharacteristic. Happy New Year anyway!
 
  • #20
Kea said:
Carl, we're just old folks. Teenage undergraduates take courses in category theory now (in a few places, anyway). It it no more obscure to them than Clifford algebras or crystallography.
Aww, I wish I could have taken a category theory course when I was a teenage undergraduate. :cry: (Or even have heard of it!)
 
  • #21
I dropped by the local University bookstore, looking to learn something about distillation, dropped by the physics section, and saw this interesting book:

Knots and Feynman Diagrams
Dirk Kreimer,
Cambridge Lecture Notes in Physics
This book provides an accesible and up-to-date introduction to how knot theory and Feynman diagrams can be used to illuminate problems in quantum field theory.

Beginning with a summary of key ideas from perturbative quantum field theory and an introduction to the Hopf algebra structure of renormalization, early chapters discuss the rationality of ladd diagrams and simple link diagrams. The necessary basics of knot theory are then presented and the number-theoretic relationship between the topology of Feynman diagrams and knot theory is explored. Later chapters discuss four-term relations motivated by the discovery of Vassiliev invariants in knot theory and draw a link to algebraic structures recently observed in noncommutative geometry. Detailed references are included.

Dealing with material at perhaps the most productive interface between mathematics and physics, the book will not only be of considerable interest to theoretical and particle physics, but also to many mathematicians.

https://www.amazon.com/dp/0521587611/?tag=pfamazon01-20

The plan is to read this simultaneously with the category book, as a motivation. Personally, I think that this stuff needs to be built from a more solid, less abstract, foundation, but I don't doubt that the abstraction is useful. Uh, was that too many negatives? I think the absraction is useful.
 
Last edited by a moderator:
  • #22
What about John Baez http://math.ucr.edu/home/baez/QG.html" ? He teaches 'exciting' category theory, check out Fall 2003-2004. Of course I understood not all of it, but for you people with that mathematical maturity it should be no problem. Also, I love the handwriting of these notes.
 
Last edited by a moderator:
  • #23
CarlB said:
Knots and Feynman Diagrams
Dirk Kreimer

Yes, that's a helpful book, but make sure you look at some of Kreimer and Broadhurst's papers as well. This is the stuff that set Connes on a path to his work with Marcolli on Physics and Number Theory. Unfortunately, they don't take a categorical view of things, which is a real pity now that they're throwing the heavy motivic machinery at Field Theory.

And by the way: not many people at all had heard of category theory a few years ago! But now if you put it as a search term on dating sites, you'll get some hits. Now that's progress. I would love to teach an elementary course on categories in physics, but I guess I'll need a job first. In fact, tomorrow I'm being sent (by the government) to an employment agency for an interview. You know the sort of thing ... 25 year old well-dressed male asking questions like what skills do you have? etc. etc. These things are always good for the entertainment value. I just hope I can keep a straight face.

:smile:
 
  • #24
I've started reading Kreimer and it is helping in the motivations.

Kea said:
I would love to teach an elementary course on categories in physics, but I guess I'll need a job first. In fact, tomorrow I'm being sent (by the government) to an employment agency for an interview. You know the sort of thing ... 25 year old well-dressed male asking questions like what skills do you have? etc. etc. These things are always good for the entertainment value. I just hope I can keep a straight face.

My best friend in college had previously spent some years in the US special forces. To get unemployment checks, he had to apply for work at three local businesses each week, but he didn't have to take work except in his usual line of work. So each week he went down and filled out forms at the local fast food restaurants asking for employment as a sniper. It makes me a little sad to remember this. His name was Mario Pagliaro, and he died in 1997. His specialty was computer science, and he was very very good.
 
Last edited:
  • #25
CarlB said:
So each week he went down and filled out forms at the local fast food restaurants asking for employment as a sniper.

My problem is that I have worked in restaurants. So I'll have to keep applying for waitressing jobs, I guess. At some point, I'll get one. I have no problem getting waitressing jobs, it seems. But when I apply for mathematics aid teacher jobs I always get turned down for being overqualified.
 
  • #26
Kea said:
My problem is that I have worked in restaurants.

As far as thinking about physics, the best work I've ever had is driving truck. There is nothing like that endless white line to give your mind time to contemplate. On the other hand, some of the other folks on the road might beg to differ. Honk! Honk!
 
  • #27
Hi all

Since you are talking about something I can understand, that is, jobs and the lack thereof, I thought I'd chime in as an expert on the subject. Currently unemployed, but soon to fall beneath that category as well, as my meager fund runs out of, well, funds.

We are all good writers, I guess. There is substantial interest among the public in the areas we study. It seems like we should be able to make a buck publishing to our respective local media. Or even internet stuff. (here overdub the music to "Beautiful Dreamer, waken to me..."

Oh well. Good luck and best wishes to all in the New Year!

The old Nightcleaner,

R
 
  • #29
CarlB said:
There is nothing like that endless white line to give your mind time to contemplate.

Very David Lynch. Don't drive myself. Good to hear from you Richard! Well, the earnest young man logged me on to the government's job search webpage and then flicked through my CV. I'm guessing he didn't actually read it though, because his first question was: so do you understand how to use the internet? On the subject of Category Theory, it appears that I might actually be ready now to submit a thesis.

:smile:
 
  • #30
I need to find a way to include 'naive' in my tag line. Isn't symmetry breaking merely a geometric extension of relativity? I like the geometry part and can see how you can derive relavativistic reference frames in any coordinate system. But, symmetry breaking, as conventionally portrayed, appears suspect. Symmetries merely converge, IMO.
 
  • #31
I've sometimes found that exhibiting just a touch of madness helps when dealing with the government and other authorities, depending on the effect desired. For example, explaining that Einstein was wrong, you've found the unified field theory, and are working on it at home does wonders.
 
  • #32
Chronos said:
I need to find a way to include 'naive' in my tag line. Isn't symmetry breaking merely a geometric extension of relativity? I like the geometry part and can see how you can derive relavativistic reference frames in any coordinate system. But, symmetry breaking, as conventionally portrayed, appears suspect. Symmetries merely converge, IMO.

I don't believe in symmetry breaking, but I'm having trouble figuring out the rest of your post. How is symmetry breaking a geometric extension of relativity? One is in QM, the other GR, and they're not combined. And what does "Symmetries must converge" mean in more detail?
 
  • #33
Hurkyl said:
Aww, I wish I could have taken a category theory course when I was a teenage undergraduate. :cry: (Or even have heard of it!)

Well, there is not yet undergraduate category for physicists, but mathematicians are a lot more conversant on it than ten years before.

the next buzzword is "scheme"
 
  • #34
arivero said:
Well, there is not yet undergraduate category for physicists, but mathematicians are a lot more conversant on it than ten years before.

But there is! At least in book form - https://www.amazon.com/gp/product/0226288625/?tag=pfamazon01-20, by Robert Geroch. Geroch purposely and provocatively chose his title to indicate that, these days, mathematical physics includes topics other than those covered in more traditional mathematical physics courses. He starts with a few pages on category theory and and uses category theory as framework for discussing many topics.

Geroch's book contains a broad survey of abstract algebra, topology, and functional analysis, and it does a wonderful job at motivating (mathematically) mathematical definitions and constructions. However, its layout is abominable. Surprisingly, since Geroch is an expert, it contains no differential geometry.

This book was first published over twenty years ago, and is based on a course Geroch gave at the University of Chicago.
 
Last edited by a moderator:
  • #35
George Jones said:
This book was first published over twenty years ago, and is based on a course Geroch gave at the University of Chicago.

Yeah, cool. Of course, being at Chicago (one of the founding centres of Category Theory) one would find it difficult to escape categories.

:smile:
 
Back
Top