Previously we described -ary operations on (the underlying sets of the objects of) a concrete category , which we defined as the natural transformations .
Puzzle: What are the -ary operations on finite groups?
Note that is not representable here. The next post will answer this question, but for those who don’t already know the answer it should make a nice puzzle.