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 progress rep...
Jamie Vicary – Introducing homotopy.io: A proof assistant for geometrical higher category theory
• Jamie Vicary – Introducing homotopy.io: A ...
Categorification
https://arxiv.org/abs/math/9802029