If you want to know more how natural transformations are used in Я I recommend you to check out Natural transformation as a basis of control article.
Monoidal functor is a special kind of functor between categories with some tensor. You can think on tensor as a placeholder for either a product or a sum of objects (depicted below as *).