Definition of Formally Smooth from Stack Project

68 Views Asked by At

enter image description here

$T, T'$ are affine schemes. What is meant by $F\leftarrow T$ (or $G \leftarrow T')$