Finite Langlands correspondence

We construct the Langlands correspondence for connected reductive groups over finite fields, which we call the finite Langlands correspondence. We discuss also its relation with the categorical local Langlands correspondence.