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
Watch video Higher Category Theory For Beginners With Homotopy io online without registration, duration hours minute second in high quality. This video was added by user Richard Southwell 18 February 2024, don't forget to share it with your friends and acquaintances, it has been viewed on our site 2,181 once and liked it 78 people.