Category Theory For Beginners: Cooking, Monoidal Categories and Programming

I illustrate the graphical language of wiring diagrams by using it to describe how to make apple crumble. I go over definitions and intuition for monoids, monoidal categories and symmetric monoidal categories. I also describe how the graphical language of wiring diagrams can be related to symmetric monoidal categories in a formal way. I also illustrate how to use wiring diagrams and recursion to do programming, and illustrate this practically using the LabVIEW programming language. This video was heavily inspired by Seven Sketches in Compositionality: An Invitation to Applied Category Theory By Fong and Spivak Symmetric Monoidal Categories: a Rosetta Stone My friend Jos Hoebe has many interesting works. For example see The LabVIEW software can be downloaded from
Back to Top