Does this have explanatory value, or is it the case of "${term} is a ${simple concept} in ${highly specialized framework that's designed specifically so that ${term} is a case of ${simple concept} in it}"?
Yeah it's "A monad is just a monoid in the category of endofunctors" rehashed for the millionth time.
You took the words right out of my mouth!
Sarcasm?
Yes.
I wrote a paper on the topic but local heterodoxy police doesn't like it when I link it. So look up my name on arxiv.