https://en.wikipedia.org/wiki/Applicative_functor says
In functional programming, an applicative functor is a structure intermediate between functors and monads, in that they allow sequencing of functorial computations (unlike plain functors) but without deciding on which computation to perform on the basis of the result of a previous computation (unlike monads). Applicative functors are the programming equivalent of lax monoidal functors with tensorial strength in category theory.
I would like to know more about the categorical concepts for applicative functors, but I couldn't find "lax monoidal functors with tensorial strength" in Categories for the Working Mathematician. In the book, what are the closest or related categorical concepts to applicative functors?
Thanks.