Induxion

From one abstract category and three kinds of operation, a logical-alchemicalprocedure derives twelve invariants, the primitives of the Imscribing Grammar.None are stipulated and the set is Gödel-complete. The twelve close into a crystal of 3³·4⁵·5⁴=17,280,000 types,and the grammar applied to its own derivation returns itself. Composing the multiplication μ that closure supplies with its comultiplication δis the identity, μ∘δ=idA.