Category: Mutual Induction and Transformers