Remark 9.9.1. In constructing the projective tensor product, it may be more natural to obtain its topology as a projective topology using its universal property. However, doing so requires taking a least upper bound across all continuous linear maps defined on $E \times F$, a collection too big to be a set. As such, constructing it as a projective topology is logically dubious, or at the very least beyond my abilities.