What is the etymology of "strength" in the sense of "a tensorial strength"?

382 Views Asked by At

Tensorial strength, and the notion of a functor having "a strength," is discussed on the nLab: https://ncatlab.org/nlab/show/tensorial+strength

What was the original reason for this name? Is it due to CS Peirce, or does it come from one of the application domains of category theory?

1

There are 1 best solutions below

2
On

I asked Anders Kock, and this is his answer:

In the article of mine quoted (Monads on Symm. Monoidal Closed Categories, 1970, page 1), the word strength for a functor is used as synonymous with enriched, i.e. as a $V$-functor., and was in fact denoted by "st". I believe it may have been folklore usage at that time. In loc.cit., I construct out of a strong $T: V \to V$ a tensorial strength t', and prove in the follow-up paper 1972 that t' and st correspond to each other (Strong Functors and Monoidal Monads, 1972, Proposition 1.1). Over time, "strength" has mainly come to mean tensorial strength.