limits of sheaves are automatically a sheaf. but for colimits, you need to take colimits pointwisely and then take sheafification.
now sheaf hom is automatically a sheaf but sheaf tensor involoves sheafification. is there a similar "categorical reason" for that?