バーンサイドよりラッセルだろう

圏の骨格代数を、一部でバーンサイド代数と呼ぶが、集合圏のバーンサイド半環は、基数の代数ってことになる。基数が集合の同型類だと指摘したのは確かラッセルだよね。「3とは、この世にある『3つのモノからなる集まり』すべてからなる類」とか言っていた。

とすると、集合圏の骨格概念はラッセルが嚆矢に近いと思われる。まー、僕の気分ではラッセル代数だな。折り合いを付けて、ラッセル／バーンサイド代数か。