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

圏論、カテゴリー論その２ (210ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

139(1): １３２人目の素数さん [] 2024/10/27(日) 19:29:00.91 ID:87R9rLwt(10/39) AAS
>>137
だから書いてごらんな
その述語の対象とするものが何か
結局は集合なりクラスなりを必要とする

141(1): １３２人目の素数さん [sage] 2024/10/27(日) 19:37:50.48 ID:1jhNsi72(4/25) AAS
>>139
圏論の基礎のp7に書いてあるじゃん