With Category Theory, Mathematics Escapes From Equality | Quanta Magazine https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/
An interesting but quite vague and breezy presentation about infinity category tgeory:
With Category Theory, Mathematics Escapes From Equality | Quanta Magazine https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/
Thread:
Just watched THE HIGHWAYMEN on NETFLIX & found it quite entertaining.
I'm a great admirer of Frank Hamer, who is in my opinion THE Greatest American Lawman who ever lived & always felt his Career had been overlooked by history & slighted by Hollywood.
This production shows him & his pursuit of Bonnie & Clyde in a very real & compelling manner.
It's a Docu-Drama so it does take dramatic license to tell the story but gets the most important details right.
Going to be late getting to Cambridge because somebody thought it would be prudent to stop here. LOL (@ Thompson Square in Boston, MA) https://www.swarmapp.com/c/bVygZCVcMe7
I'm a 72 year old constructive mathematician who has spent most of his professional life with computers. I have worked on the design of Algol 68, and have attempted formal verification using constructive type theory. I would love to understand how category theory is involved with quantum mechanics.