Computational irreducibility via functorial category theory — Turing machines, cellular automata, string rewriting, non-deterministic TMs in Rust, built on catgraph
rust cellular-automata functor category-theory turing-machine string-rewriting cobordism wolfram-physics computational-irreducibility gorard catgraph
-
Updated
Apr 7, 2026 - Rust