Operads, tensor products, and the categorical Borel construction