Hi guys, Welcome to the Advanced Video Search Engine, and you are watching A Sensible Introduction to Category Theory. That video is uploaded by Oliver Lugg at 2022-06-22T12:43:59-07:00. We are promoting this video only for entertainment and educational purpose only. So, I hope you like & enjoy it. [yAi3XWCBkDo]
| Name | A Sensible Introduction to Category Theory |
| Video Uploader | Video From Oliver Lugg |
| Upload Date | This Video Uploaded At 22-06-2022 19:43:59 |
| Video Discription | Remember when I used a video with a coconut in the thumbnail to drive a stake through the heart of mathematical structure? Today, in this introduction to the basics of category theory, I attempt to remove it. 27 Unhelpful Facts About Category Theory: https://www.youtube.com/watch?v=H0Ek86IH-3Y MetaMaths on category theory: https://www.youtube.com/watch?v=ZG6t0-JMrw0 My dissertation on the equivalence between the category of monoidal categories and the category of representable multicategories: https://drive.google.com/file/d/1hAkV1qSnUutzQMMQi48yo_fXsgb1YnbL/view?usp=sharing FURTHER READING Basic Category Theory (Tom Leinster): https://arxiv.org/pdf/1612.09375.pdf Categories for the Working Mathematician (Saunders Mac Lane): http://www.mtm.ufsc.br/~ebatista/2016-2/maclanecat.pdf Category Theory for Computing Science (Michael Barr and Charles Wells): https://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf Category Theory for the Sciences (David Spivak): https://math.mit.edu/~dspivak/CT4S.pdf Bartosz Milewski on category theory: https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ Emily Riehl on category theory: https://www.youtube.com/watch?v=WLkMBMUk48E MUSIC Meditation Aquatic 369 (Epidemic Sound) Nights Full of Overthinking Lionel Quick (Epidemic Sound) Oregano Vendla (Epidemic Sound) Wash Timothy Infinite (Epidemic Sound) Wind Osoku (Epidemic Sound) yAi3XWCBkDo |
| Category | Education |
| Tags | Category theory | Category | Functor | Natural transformation | Natural isomorphism | Functional programming | Monoidal category | Multicategory |
