From finite state automata to tangle cobordisms: a TQFT journey from one to four dimensions

This is a brief introduction to link homology theories that categorify Reshetikhin–Turaev $\mathsf{S}\mathsf{L}(N)$-quantum link invariants. A recently discovered surprising connection between finite state automata and Boolean TQFTs in dimension one is explained as a warm-up.