John Baez: "Symmetric Monoidal Categories A Rosetta Stone"

[@selenium-ai]

6:42 "It might make more sense to call it F composed with G [...], but this is the traditional ordering" True.

[@raticus79]

I saw the "makes more sense" version called "diagrammatic order" in Category Theory for the Sciences recently. I'd say if it makes more sense, use it.

[@BongoFerno]

I wonder what kind of problems can be solved using this, and cannot be solved otherwise.

[@treborhuang233]

There will never be any problems like that in mathematics. There are only problems that can be _easily_ solved using this, and is very difficult (not impossible) otherwise.

[@antismatic]

Can you please share some references for the "big fat engineering books which describe everything using electric circuit analogies"? Thanks

[@ocnus1.61]

😂😂😂

[@jontedeakin1986]

I concur, please that sounds really fun

[@majidaldo]

Heat transfer

[@Jaylooker]

That computation trinitarianism sounds like useful way to transform problems between category theory, logic, and computer programming. As mentioned the symmetry monoidal categories apply to this. Following these idea, P vs. NP should be able to be restated as a problem in category theory. Stable homotopy theory and K-theory are natural to consider after taking the infinite loop space of a symmetry monoidal ∞-category.

[@JosiahWarren]

Please as senior developer. please remove the whole mobile is not turing complete rumbling. is embarasing. Out of respect.

[@tyfoodsforthought]

You misunderstand; the point is that a mobile phone IS Turing complete, but IS NOT a Turing machine. Turing Machines are idealized as closed systems.

[@cgibbard]

@@tyfoodsforthought Of course, it's also not technically Turing complete, even if you close a box around it, because it only has access to a finite amount of memory, and if you *really* close a box around it, it will also run out of power in a way that a Turing machine won't.

[@SloeElvis]

A senior developer that doesn't know the difference between a Turing complete system and a Turing MACHINE is what is actually embarrassing