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^{3}\\cdot4^{5}\\cdot5^{4}=17{,}280{,}000$ types,and the grammar applied to its own derivation returns itself. Composing the multiplication $\\mu$ that closure supplies with its comultiplication $\\delta$is the identity, $\\mu\\circ\\delta=\\mathrm{id}_{A}$.