>>593
圏が具体的と思えるならまだ圏に慣れていない証拠
自然数が「番号付け可能なモノ」の抽象物なら、圏は「遷移以外を抽象化したモノ(具体性をとことん取り去ったモノ)」の抽象物だから