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

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

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

125(1): 2024/10/27(日)18:50 ID:NJ3emw00(2/6)調 AAS
集合論も何にも前提にせずに公理によって定義される圏のこと。
圏の普通の定義は集合論を前提にされる。

126: 2024/10/27(日)18:57 ID:87R9rLwt(2/39)調 AAS
>>125
集合論前提にしないとmorとかobとかは一体何だってならない？