圏論、カテゴリー論その２

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

105: 2024/09/28(土)15:46 ID:AgMIVQ4L(1/2) AAS
彌永小平も一般代数系から圏論やってんの？

108: 2024/09/28(土)20:53 ID:AgMIVQ4L(2/2) AAS
そらグロタンディークだ。
もともとは自然変換を定義するために関手を、関手を定義するために導入されたのが圏だもの。
その圏と関手と自然変換の道具立てをグロタンディークが応用したんだからもともとではない。