05/27/2021, 11:11 PM
John Baez recently gave this short informal talk about monoidal categories.
The video is not long and is intended to be for a general audience (you don't need to be good with algebra or math in general to follow the talk): so don't expect to find formulas, axioms and stuff like that.
Abstract: Scientists and engineers like to describe processes or systems made of smaller pieces using diagrams: flow charts, Petri nets, electrical circuit diagrams, signal-flow graphs, chemical reaction networks, Feynman diagrams and the like. Many of these diagrams fit into a common framework: the mathematics of symmetric monoidal categories. When we embrace this realization, we start seeing connections between seemingly different subjects. We also get better tools for understanding open systems: systems that interact with their environment. This takes us beyond the old scientific paradigm that emphasizes closed systems.
https://youtu.be/DAGJw7YBy8E
The video is not long and is intended to be for a general audience (you don't need to be good with algebra or math in general to follow the talk): so don't expect to find formulas, axioms and stuff like that.
Abstract: Scientists and engineers like to describe processes or systems made of smaller pieces using diagrams: flow charts, Petri nets, electrical circuit diagrams, signal-flow graphs, chemical reaction networks, Feynman diagrams and the like. Many of these diagrams fit into a common framework: the mathematics of symmetric monoidal categories. When we embrace this realization, we start seeing connections between seemingly different subjects. We also get better tools for understanding open systems: systems that interact with their environment. This takes us beyond the old scientific paradigm that emphasizes closed systems.
https://youtu.be/DAGJw7YBy8E
MSE MphLee
Mother Law \((\sigma+1)0=\sigma (\sigma+1)\)
S Law \(\bigcirc_f^{\lambda}\square_f^{\lambda^+}(g)=\square_g^{\lambda}\bigcirc_g^{\lambda^+}(f)\)