Categorical Langlands Correspondence in Positive Characteristic