Higher Category Theory For Beginners With Homotopy io
I explain n categories to my friend Jos Hoebe using the homotopy.io software. We explore a wide range of topics including monoidal categories, groupoids, topology, homotopy theory, proof theory and the periodic table of k-tuple monoidal n categories.
After a brief beginner friendly introduction to n categories I explain Poincare duality and how homotopy.io can be used to visualize n categories. Then we explore the periodic table of n c categories.
Resources:
https://homotopy.io/
https://www.researchgate.net/profile/...
John Baez
This Week's Finds 11: n-categories
• This Week's Finds 11: n-categories
"Manifold Diagrams -- A brief progress report", talk by Christoph Dorn
• "Manifold Diagrams -- A brief progres...
Jamie Vicary – Introducing homotopy.io: A proof assistant for geometrical higher category theory
• Jamie Vicary – Introducing homotopy.i...
Categorification
https://arxiv.org/abs/math/9802029
Смотрите видео Higher Category Theory For Beginners With Homotopy io онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Richard Southwell 18 Февраль 2024, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 2,181 раз и оно понравилось 78 людям.