Here it is stated that the crystalline site of a scheme is not functorial in general. Is there a non-tautological characterization of morphisms of schemes which in fact do induce morphisms of crystalline sites?
Here it is stated that the crystalline site of a scheme is not functorial in general. Is there a non-tautological characterization of morphisms of schemes which in fact do induce morphisms of crystalline sites?