>>597が結論。
> リンゴが３個あるのも椅子が３脚あるのも同じ３と認識すること。
こうやって共通の要素を取り出すことを抽象って言う。
”抽象した要素の間の複数の規則を抽象すること”を繰り返して圏が得られる。