strong functor; strong monad; many-sorted set
We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.
 Moggi E.: Notions of computation and monads
. Selections from the 1989 IEEE Symposium on Logic in Computer Science, Inform. Computat. 93 (1991), no. 1, 55–92. MR 1115262
 Trnková V.: Some properties of set functors
. Comment. Math. Univ. Carolinae 10 (1969), 323–352. MR 0252474