Live data from Hacker News

Kindergarten Quantum Mechanics

arxiv.org

1–10 of 34 posts

Re: Kindergarten Quantum Mechanics

#6
post #5

"Of course we do not expect you to know about category theory, nor do we want to encourage you here to do so." Ugh. Well, I can encourage you to do so, with some Baez [0][1]. [0] http://math.ucr.edu/home/baez/rosetta.pdf [1] https://arxiv.org/abs/quant-ph/0404040

Man everyone seems to be talking about category theory lately and I still have no idea what it is except some general sense in which different types of mathematical objects can operate on each other (which is probably wrong). Looks like I should probably actually put the effort in and learn about it.

Re: Kindergarten Quantum Mechanics

#7
post #5

"Of course we do not expect you to know about category theory, nor do we want to encourage you here to do so." Ugh. Well, I can encourage you to do so, with some Baez [0][1]. [0] http://math.ucr.edu/home/baez/rosetta.pdf [1] https://arxiv.org/abs/quant-ph/0404040

Man everyone seems to be talking about category theory lately and I still have no idea what it is except some general sense in which different types of mathematical objects can operate on each other (which is probably wrong). Looks like I should probably actually put the effort in and learn about it.

Study category theory if you would like to understand "monads are just monoids in the category of endofunctors."

Study the flatMap function if you would like to apply category theory to life. A monad is just an object with a sensible flatMap method.

Re: Kindergarten Quantum Mechanics

#8

Earlier quoted context omitted.

Man everyone seems to be talking about category theory lately and I still have no idea what it is except some general sense in which different types of mathematical objects can operate on each other (which is probably wrong). Looks like I should probably actually put the effort in and learn about it.

Study category theory if you would like to understand "monads are just monoids in the category of endofunctors." Study the flatMap function if you would like to apply category theory to life. A monad is just an object with a sensible flatMap method.

Normally I'd go with the second, but I'm trying to learn physics as a hobby and, you know, technologically save the world with my messiah complex apparently, and I want to keep tabs on things that may be insightful to know about

Re: Kindergarten Quantum Mechanics

#9
From [0] 2018: "In [1] we present an entirely diagrammatic presentation of quantum the-ory with applications in quantum foundations and quantum information.This was the result of many years of work by many, and started of as acategory-theoretic axiomatisation motivated by computer science as well asaxiomatic physics. However, I have always felt that the diagrammatic pre-sentation is of great use in its own right, be it to bridge disciplines, makequantum theory more easy to grasp, or, for educational purposes, in [2] wemade the bolt claim that using diagrams high-school kids could even out-perform their teachers, or university students. Now, we will put this claimto the test. To do so, we have written two tutorials [3,4], covering exactlythe same material, but one only using diagrams, while the other containsthe standard Hilbert space presentation. There are corresponding sets ofexamples too."

[0] Quantum Theory for Kids https://repositorio.usp.br/directbitstream/95d90813-2c2f-4cc... [1] Picturing Quantum Processes https://doi.org/10.1017/9781316219317 ; slides https://www.cs.ox.ac.uk/ss2014/programme/Bob.pdf ; talk https://www.youtube.com/watch?v=7Fvjpjhimic [2] Quantum Picturalism https://arxiv.org/abs/0908.1787 [3] Quantum theory in Pictures ... "Top Secret"... I didn't quickly find.

A recent talk: https://www.youtube.com/watch?v=AOLoyx6EHq8

Re: Kindergarten Quantum Mechanics

#10

Earlier quoted context omitted.

Study category theory if you would like to understand "monads are just monoids in the category of endofunctors." Study the flatMap function if you would like to apply category theory to life. A monad is just an object with a sensible flatMap method.

Normally I'd go with the second, but I'm trying to learn physics as a hobby and, you know, technologically save the world with my messiah complex apparently, and I want to keep tabs on things that may be insightful to know about

Just in case you are serious about having a messiah complex, I am prone to having a messiah complex, thanks to schizoaffective disorder. It took me a while to figure out which medications actually help me, without too many unpleasant side effects, but I am very grateful to have discovered the cocktail that works for me now.
Post reply on HN