Redirecting to Krohn-Rhodes theory