Lee’s Reviews > Galois’ Dream: Group Theory and Differential Equations: Group Theory and Differential Equations > Status Update

Holy shit, is this an intro to algebraic topology?

Chapter 3 is about the group structure associated with this simple groupoid rewrite system. w = 1 + x_i + x_i^{-1} with the semantic that x_i and x_i^{-1} are inverse and 1 is unital. Q: is this rewrite system Turing complete? No. Let's use an argument based on strong normalization. All turing-complete abstractions do not have strong normal forms. This groupoid and correspond reductions has a universal normal form