Showing posts with the label Comments on

Comments on symmetric monoidal categories by John Baez

I recently watched a talk by John Baez titled " Symmetric Monoidal Categories " [1]. Baez presents new mathematical material that he considers provides a common foundation for the description of different scientific and engineering topics, material that he considers to be a kind of " Rosetta stone ". Baez is correct that scientists and engineers like to describe processes or composite systems using diagrams: flow charts, Petri nets, electrical circuit diagrams, signal-flow graphs, chemical reaction networks, Feynman diagrams, etc. He claims that many of these diagrams fit into a common framework, the mathematics of symmetric monoidal categories, and that when we accept this achievement, we begin to see connections between seemingly different topics. Baez also claims that this new viewpoint introduces a paradigm shift in science. Let us go over all those interesting claims. My comments will focus on the scientific side of his talk. To get started, Baez says that s