Categorical local Langlands on isocrystals