A Sensible Introduction to Category Theory

A Sensible Introduction to Category Theory

472.976 Lượt nghe
A Sensible Introduction to Category Theory
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)