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

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

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

125(1): １３２人目の素数さん [] 2024/10/27(日) 18:50:30.44 ID:NJ3emw00(2/6) AAS
集合論も何にも前提にせずに公理によって定義される圏のこと。
圏の普通の定義は集合論を前提にされる。

126: １３２人目の素数さん [] 2024/10/27(日) 18:57:03.87 ID:87R9rLwt(2/39) AAS
>>125
集合論前提にしないとmorとかobとかは一体何だってならない？