Category Theory For Beginners: Cooking, Monoidal Categories and Programming

Published: 31 October 2021
on channel: Richard Southwell
4,550
155

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
https://arxiv.org/abs/1803.05316

Symmetric Monoidal Categories: a Rosetta Stone
https://johncarlosbaez.wordpress.com/...

My friend Jos Hoebe has many interesting works. For example see
https://www.researchgate.net/profile/...

The LabVIEW software can be downloaded from
https://www.ni.com/en-gb/shop/labview...


Watch video Category Theory For Beginners: Cooking, Monoidal Categories and Programming online without registration, duration hours minute second in high quality. This video was added by user Richard Southwell 31 October 2021, don't forget to share it with your friends and acquaintances, it has been viewed on our site 4,550 once and liked it 155 people.