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
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...
Смотрите видео Category Theory For Beginners: Cooking, Monoidal Categories and Programming онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Richard Southwell 31 Октябрь 2021, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 4,550 раз и оно понравилось 155 людям.