Abstract:We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.
Keywords: strong functor; strong monad; many-sorted set
DOI: DOI 10.14712/1213-7243.2019.029
AMS Subject Classification: 18A22