>>886
>しかし 集合→対象、 作用→射
>と置き換えれば、形式的には 圏論に置き換えられますよね
この「作用」は「写像」のことを意図している？
で
あなたの言わんとしているのは集合の圏のこと？
それなら別に置き換えているわけでもなく単に集合の圏を考えているというだけでしょう
>>875
>抽象代数学を形作る旧来の材料である「集合と作用」
の「集合」は群や環や体や多項式みたいな対象を意味してませんかね
となると「作用」とは演算とか写像とかかなと思いますね
そしてここで「置き換わるべき」と言っているのは
別に集合の圏を考えよということでも無くて
何かFqとかで明確に定義されているものを
「想像上の」｢未定義の」なにか「柔軟な（ｗ）」ものによって定義し直すことができたらイイナという妄想の類いでしょう
誰もがよく知る例では
1+2+3+…=-1/12
みたいな？
左辺を適切に定義し直して拡張して値が-1/12になるのを
インパクト重視でこう書くみたいなことを夢想しているんじゃないですかね