Exploring the relationship between coherence and rewriting systems in category theory.
― 4 min read
Samuel Mimram
Discover how deloopings simplify group representations in homotopy type theory.
― 5 min read
Cutting edge science explained simply
Exploring the relationship between coherence and rewriting systems in category theory.
― 4 min read
Discover how deloopings simplify group representations in homotopy type theory.
― 5 min read