Tensor products in functional analysis Methods of category theory in analysis mathematics