1 名前:132人目の素数さん mailto:sage [04/07/13 00:13] , _ ノ) γ∞γ~ \ とて とて | / 从从) ) ヽ | | l l |〃 / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ `从ハ~ ワノ) < 圏論についてなんでもどうぞ♪ {|  ̄[`[>ロ<]'] ̄|! \___________ `,─Y ,└┘_ト─' └// l T ヽ\ とて ⌒ヽ ,く._ ' _ > 人 `ヽ`二二二´'´ Y⌒ヽ)⌒ヽ し' l⌒)  ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ■前スレ なんで圏論なんてもんがあんのよ? science3.2ch.net/test/read.cgi/math/1057731708/ ■関連スレ 大好き★代数幾何 Part 2 science3.2ch.net/test/read.cgi/math/1070510931/ 集合論なぜなにスレッド science3.2ch.net/test/read.cgi/math/1064299337/ 非古典論理について語るスレ science3.2ch.net/test/read.cgi/math/1071060325/ ■関連過去スレ 層 science2.2ch.net/test/read.cgi/math/1003853278/ (dat落ち中) シット サイト トポス シャン モチーフ science.2ch.net/math/kako/1007/10076/1007625226.html
167 名前:132人目の素数さん [04/09/29 16:52:21] 一般に二つの対象の直和と直積が常に同型なのは Ab, Ab×Ab だけだから、 これらは他者と区別出来る。 Ab, Grp では、部分対象が同値を除いて 2 個しかないのは、素数位数の巡回群である。 この様な対象 X, Y が同型であるための必要十分条件は Hom(X, X) と Hom(Y, Y) の濃度が一致することだが、 Ab×Ab, Ab×Grp, Grp×Grp はその様な性質を満たさないから、 これらは Ab, Grp と圏同値でない。 Ab×Grp と Grp×Grp が圏同値でないことをどなたかどうぞ。
168 名前:132人目の素数さん mailto:sage [04/09/29 17:06:30] >一般に二つの対象の直和と直積が常に同型なのは Ab, Ab×Ab だけだから、 Rを多元環としてmodRの圏も有限直和と有限直積同型だと思うけど?
169 名前:132人目の素数さん mailto:sage [04/09/29 17:24:47] >>168 >>155 の中で。
170 名前:132人目の素数さん [04/10/05 11:48:26] 590
171 名前:132人目の素数さん [04/10/05 15:21:04] >>167 Ab×Grp と Grp×Grpでは、部分対象が同値を除いて 2 個しかないのは、 (Z/pZ,{1}), ({1}, Z/pZ) p は素数 この様な対象 X, Y が同型であるための必要十分条件は Hom(X, X) と Hom(Y, Y) の濃度が一致すること、、、ではないな。 あとはよろしく。
172 名前:132人目の素数さん [04/10/06 18:44:47] >>171 何を言いたいのか・・・
173 名前:132人目の素数さん mailto:sage [04/10/09 15:42:51] 荒らしを防ぐためsage進行で行こう
174 名前:132人目の素数さん [04/10/14 22:21:42] 158
175 名前:あぼーん mailto:あぼーん [あぼーん] あぼーん
176 名前:LettersOfLiberty ◆rCz1Zr6hLw [04/10/14 22:29:34] Re:>175 捏造すんな。
177 名前:132人目の素数さん [04/10/15 09:02:29] mail okuttemo ii?
178 名前:LettersOfLiberty ◆rCz1Zr6hLw [04/10/15 12:01:30] Re:>177 それでどうする気だ?
179 名前:初学者 mailto:sage [04/10/16 12:07:47] Mac Lane の本で、metacategoryってのが出てくるけど、 これは普通のcategoryの定義と何が違うんだろう? それに対して、categoryの定義では「Oを対象の集合」として グラフがどうとかこうとか言ってるけど、 metacategoryが(大きい)圏で、 categoryは小さい圏に限るということなのだろうか? どうなんでしょう?
180 名前:132人目の素数さん mailto:sage [04/10/24 00:03:02] 767
181 名前:132人目の素数さん [04/10/27 05:13:50] >>179 metacategory の定義の書けばかやろう
182 名前:132人目の素数さん mailto:sage [04/10/27 15:42:28] 圏論やってる人でMac Lane持ってない人っているんだ・・・
183 名前:132人目の素数さん [04/10/27 23:51:34] 定義書けよ。ばかやろう
184 名前:132人目の素数さん mailto:age [04/10/28 00:40:09] 定義だ,定義だ!
185 名前:132人目の素数さん mailto:sage [04/10/28 16:42:39] locally smallじゃないってんじゃなかったっけー
186 名前:132人目の素数さん [04/10/28 19:29:15] 質問になっとらん!
187 名前:132人目の素数さん mailto:age [04/10/29 00:43:40] 定義書けーーーーー!!!!!!
188 名前:132人目の素数さん mailto:sage [04/10/29 00:47:32] 何であがるんだよ 私は数学兼業の労働者じゃないよ
189 名前:132人目の素数さん [04/10/29 00:55:46] 私はworking woman 何でも答えてあげるわよ
190 名前:working woman [04/10/29 01:07:32] Ob = 圏全体 Mor = 関手の自然同値類全体 は、locally small にならないのです。
191 名前:132人目の素数さん [04/10/29 01:12:32] 定義書けーーーーーーーーーー!!!!!!!!!!!!
192 名前:132人目の素数さん [04/10/29 07:41:01] 定義厨ウザー. マクレーンのp10までに完全に定義済みだよ. ごちゃごちゃ言わないで参照汁! でもレスしなくていいよ. 図書館で借りる香具師はモグリ.
193 名前:132人目の素数さん [04/10/29 19:44:29] 定義書けーーーーーーーーーー!!!!!!!!!!!!ーーーーーーーーーー!!!!!!!!!!!!
194 名前:132人目の素数さん mailto:sage [04/10/29 21:24:37] 位相幾何か代数幾何でつかうために覚えるのが普通なんかな 他の用途で圏論覚えようと思った奴いるか?
195 名前:132人目の素数さん mailto:sage [04/10/29 21:31:26] 計算機科学では別の用途でしょ
196 名前:132人目の素数さん [04/10/29 21:45:30] >>189 女は風俗で働いてろクソ
197 名前:132人目の素数さん mailto:age [04/10/29 22:45:13] 定義や!定義や!
198 名前:working woman [04/10/30 10:32:44] >>196 女性差別はよして
199 名前:132人目の素数さん [04/10/30 13:19:42] >>198 だまれ腐れマンコが てめーなんか死ねよ
200 名前:working woman [04/10/30 13:33:08] このスレひどいスレね。 ほかのスレに行こーっと。
201 名前:132人目の素数さん [04/10/30 13:36:57] >>198 てめえボコボコにしてやろうか?
202 名前:132人目の素数さん [04/10/30 13:37:43] >>200 2度とくんなヴァカ ついでに自殺しろ
203 名前:working woman [04/10/30 13:43:10] 崩れ博士は自殺して
204 名前:132人目の素数さん [04/10/30 13:43:54] >>203 だまれクソ女 フェラチオでもしてろ
205 名前:132人目の素数さん [04/10/30 13:45:10] >>200 ぼくのお家へおいで!
206 名前:working woman mailto:sage [04/10/30 14:43:02] 何がありますの? AV 撮影はいやよ
207 名前:132人目の素数さん [04/10/30 18:38:51] 圏論って何だよ?3行以内で説明しろ。
208 名前:132人目の素数さん [04/10/30 18:45:11] 数学って何だよ?3行以内で説明しろ。
209 名前:132人目の素数さん [04/10/30 18:45:43] 代数って何だよ?3行以内で説明しろ。
210 名前:132人目の素数さん [04/10/30 18:55:17] 幾何って何だよ?2行以内で説明しろ。
211 名前:132人目の素数さん [04/10/30 18:55:21] >>207 数学で 圏を論じる 一分野
212 名前:132人目の素数さん [04/10/30 19:10:39] けんはけんでも 志村では無い
213 名前:132人目の素数さん [04/10/30 19:30:07] >>194 何となく面白そうだったから
214 名前:working woman mailto:sage [04/10/30 19:30:14] 私の守備範囲ね。
215 名前:ChaosicSoul ◆/yaJbLAHGw [04/10/31 11:04:33] Re:>214 君はどんな仕事をしているの?それと、主語と述語をはっきりさせましょう。 圏とは、準同型の概念を拡張したものと言える。 写像でないものの集合もまた圏になりうる。 (しかし、それはどんなものだろう?)
216 名前:132人目の素数さん [04/10/31 11:08:47] >>215 キチガイネカマと会話しないように
217 名前:ChaosicSoul ◆/yaJbLAHGw [04/10/31 11:39:51] Re:>216 三行目からは会話ではないよ。
218 名前:132人目の素数さん [04/10/31 12:18:56] _,,.. -──‐- .、.._. , '´ ╋ ヽ 〈::::::: _:::) /´\:::::::::_,. - ― - 、.〃/ , '/〈∨〉’‐'´ ` ' 、 / ,'. 〈∧〉/ ,.' , i , l } ! `, ヽ ヽ \ {ソ{. ニ二|,' / / _! Ll⊥l| .Ll_! } 、.ヽ {ソl ニ二.!!イ /´/|ノ_l_,|.ノレ'レ_l`ノ|! | .l } ハソt.ー-;ュ;Vl /,ィエ下 「ハ レ| j| j|丿 \ !((.ヽニ{fj ! l ` ハ|li_] |iリ {、|,ノ!' / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ <\n )’( (‘ーl | ° ´ __,' ゚,' ) | Kingくん♪ /.)\_, ` ) ノノ\ tノ /((. < うんこ食べのお時間よ! V二ス.Y´| (( (r个 . ___. イヽ) )) | 他の素数さんに迷惑だからおとなしくしなさいね♪ {. r_〉`! }>' ) / ゝ 、,,_o]lム` ー- 、 \______________ \ f ,. '´/ o ..::: \ `! {/⌒ヽ:::::: :::. \_:: ヽ | .|:::/::| ',::::: ::'、:: ヾ:: ,〉、
219 名前:132人目の素数さん [04/10/31 13:06:35] >>圏とは、準同型の概念を拡張したものと言える。 意味わかんないんだけど.
220 名前:ChaosicSoul ◆/yaJbLAHGw [04/10/31 13:12:57] Re:>219 準同型全体のなす類も圏になる。
221 名前:132人目の素数さん [04/10/31 13:18:57] Kingさん使ってください。 |二二二二二二二二二二二二二 | | | | | | | | | | | | | | | | | 人 | | | | .( ) | | .//|  ̄ | | // .| | | // .| | | // .| | | _______//___.|___________|__|_________ \ . ̄~~| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄'~| ̄ / | |\ ____|__________|__ | | | | \ | | / | |
222 名前:132人目の素数さん [04/10/31 13:26:40] >>220 それは拡張じゃないでしょ
223 名前:working woman [04/10/31 13:28:50] >>215 さん >>216 とは会話しないように
224 名前:ChaosicSoul ◆/yaJbLAHGw [04/10/31 13:31:14] Re:>216,223 あーもう。
225 名前:working woman mailto:sage [04/10/31 19:37:47] みなさんったら、もう話題ないの? 私が作ってさしあげてもよろしくてよ
226 名前:132人目の素数さん [04/10/31 20:32:01] >>225 黙れブタ なんで圏論スレにいついてんだ?
227 名前:132人目の素数さん [04/10/31 20:40:42] Kingさん使ってください。 |二二二二二二二二二二二二二 | | | | | | | | | | | | | | | | | 人 | | | | .( ) | | .//|  ̄ | | // .| | | // .| | | // .| | | _______//___.|___________|__|_________ \ . ̄~~| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄'~| ̄ / | |\ ____|__________|__ | | | | \ | | / | |
228 名前:king768 mailto:sage [04/10/31 20:42:20] お前が使え
229 名前:132人目の素数さん [04/10/31 20:45:40] Kingさん使ってください。 |二二二二二二二二二二二二二 | | | | | | | | | | | | | | | | | 人 | | | | .( ) | | .//|  ̄ | | // .| | | // .| | | // .| | | _______//___.|___________|__|_________ \ . ̄~~| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄'~| ̄ / | |\ ____|__________|__ | | | | \ | | / | |
230 名前:kin352 mailto:sage [04/10/31 20:50:04] お前が使えよ
231 名前:ChaosicSoul ◆/yaJbLAHGw [04/10/31 20:54:27] Re:>230 どうせなら 圏352 にしてくれよ。
232 名前:King009 [04/10/31 20:56:20] もう1人逝った |二二二二二二二二二二二二二 | | | | | | | Λ|Λ | | | | ( / ⌒ヽ | | | | | ← 人間のクズ kingのなれの果て | | ∪ 亅| .//| | | | | | // .| ∪∪ | | // .| : | | // .| : | | _______//___.|___________| |_________ \ . ̄~~| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄'~| ̄ / | |\ ____|__________|__ | | | | \ | | / | |
233 名前:132人目の素数さん mailto:sage [04/10/31 21:04:10] 番号書いとけよ
234 名前:132人目の素数さん mailto:sage [04/10/31 22:16:00] working woman←あぼーんマジお薦め。
235 名前:132人目の素数さん [04/10/31 22:27:14] >>231 >ChaosicSoul ◆/yaJbLAHGw, King、おまえ、恥ずかしくないか? いいかげんに引っ込め、くそ荒らし。
236 名前:132人目の素数さん [04/10/31 22:28:08] Kingさん使ってください。 |二二二二二二二二二二二二二 | | | | | | | | | | | | | | | | | 人 | | | | .( ) | | .//|  ̄ | | // .| | | // .| | | // .| | | _______//___.|___________|__|_________ \ . ̄~~| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄'~| ̄ / | |\ ____|__________|__ | | | | \ | | / | | (省略されました・・全てを読むにはここを押してください)
237 名前:132人目の素数さん [04/10/31 22:36:28] >ChaosicSoul ◆/yaJbLAHGw, King、おまえ、恥ずかしくないか? いいかげんに引っ込め、くそ荒らし。
238 名前:132人目の素数さん [04/10/31 22:51:13] Kingさん使ってください。 |二二二二二二二二二二二二二 | | | | | | | | | | | | | | | | | 人 | | | | .( ) | | .//|  ̄ | | // .| | | // .| | | // .| | | _______//___.|___________|__|_________ \ . ̄~~| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄'~| ̄ / | |\ ____|__________|__ | | | | \ | | / | | (省略されました・・全てを読むにはここを押してください)
239 名前:132人目の素数さん [04/10/31 22:56:36] >ChaosicSoul ◆/yaJbLAHGw, King、おまえ、恥ずかしくないか? いいかげんに引っ込め、くそ荒らし。
240 名前:132人目の素数さん [04/10/31 23:53:07] || ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|| || ○荒らしは放置が一番キライ。荒らしは常に誰かの反応を待っています。 || ○重複スレには誘導リンクを貼って放置。ウザイと思ったらそのまま放置。 || ○放置された荒らしは煽りや自作自演であなたのレスを誘います。 || ノセられてレスしたらその時点であなたの負け。 || ○反撃は荒らしの滋養にして栄養であり最も喜ぶことです。荒らしにエサを || 与えないで下さい。 Λ_Λ || ○枯死するまで孤独に暴れさせておいて \ (゚Д゚,,) キホン。 || ゴミが溜まったら削除が一番です。 ⊂⊂ | ||___ ∧ ∧__∧ ∧__ ∧ ∧_ | ̄ ̄ ̄ ̄| ( ∧ ∧__ ( ∧ ∧__( ∧ ∧  ̄ ̄ ̄ 〜(_( ∧ ∧_ ( ∧ ∧_ ( ∧ ∧ は〜い、先生。 〜(_( ,,)〜(_( ,,)〜(_( ,,) 〜(___ノ 〜(___ノ 〜(___ノ
241 名前:132人目の素数さん mailto:sage [04/11/01 21:54:42] || ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|| || ○荒らしは放置が一番キライ。荒らしは常に誰かの反応を待っています。 || ○重複スレには誘導リンクを貼って放置。ウザイと思ったらそのまま放置。 || ○放置された荒らしは煽りや自作自演であなたのレスを誘います。 || ノセられてレスしたらその時点であなたの負け。 || ○反撃は荒らしの滋養にして栄養であり最も喜ぶことです。荒らしにエサを || 与えないで下さい。 Λ_Λ || ○枯死するまで孤独に暴れさせておいて \ (゚Д゚,,) キホン。 || ゴミが溜まったら削除が一番です。 ⊂⊂ | ||___ ∧ ∧__∧ ∧__ ∧ ∧_ | ̄ ̄ ̄ ̄| ( ∧ ∧__ ( ∧ ∧__( ∧ ∧  ̄ ̄ ̄ 〜(_( ∧ ∧_ ( ∧ ∧_ ( ∧ ∧ は〜い、先生。 〜(_(´・ω・`)〜(_( ,,)〜(_( ,,) 〜(___ノ 〜(___ノ 〜(___ノ (省略されました・・全てを読むにはここを押してください)  ̄ ̄
242 名前:132人目の素数さん [04/11/01 23:32:23] カテゴリー
243 名前:132人目の素数さん [04/11/01 23:32:46] /⌒ヽ, ,/⌒丶、 ,- `,ヾ / ,;;iiiiiiiiiii;、 \ _ノソ´ iカ / ,;;´ ;lllllllllllllii、 \ iカ iサ' ,;´ ,;;llllllllllllllllllllii、 fサ !カ、._ ,=ゞiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii!! __fカヘ. / `ヾサ;三ミミミミミご彡彡彡ミヾサ`´ 'i、 i' ,._Ξミミミミミミき彡/////ii_ | | ;カ≡|ヾヾヾミミミミミぶ、//巛iリ≡カi | | iサ |l lヾヾシヾミミミミり|ii//三iリ `サi | | ,カ ,カll|l l lヾリリリリリ川川|爪ミミiリllカ、カi | | ;iサ,サ |l l l リリ川川川川|爪ミミiiリ サi サi | | iカ ;カ, |l l リリリリ川川川川l爪ミミilリ ,カi カi | | iサ ;サ, |リ リリ川川川川川l爪ミミiリ ,サi サi | | iサ ;iカ, | リ彡彡川川川川|爪ミミiリ ,カi :サ、 | ,i厂 iサ, |彡彡彡彡ノ|川川|爪ミミリ ,サi `ヘ、 ,√ ,:カ, |彡彡彡彡ノ川川|ゞミミミリ ,カi `ヾ ´ ;サ, |彡彡彡彡川川リゞミミリ ,サi ;カ, |彡彡彡彡リリリミミミシ ,カi ,;サ, |彡彡ノリリリリミミミシ ,サi ;メ'´ i彡ノリリリリリゞミミシ `ヘ、 ;メ ヾリリリリノ巛ゞシ `ヘ、 ;メ ``十≡=十´ `ヘ、 ┃ ┃ | | / \ / \ / \
244 名前:132人目の素数さん [04/11/02 16:47:58] || ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|| || ○荒らしは放置が一番キライ。荒らしは常に誰かの反応を待っています。 || ○重複スレには誘導リンクを貼って放置。ウザイと思ったらそのまま放置。 || ○放置された荒らしは煽りや自作自演であなたのレスを誘います。 || ノセられてレスしたらその時点であなたの負け。 || ○反撃は荒らしの滋養にして栄養であり最も喜ぶことです。荒らしにエサを || 与えないで下さい。 Λ_Λ || ○枯死するまで孤独に暴れさせておいて \ (゚,Д゚,,) キホン,キホン,ゴホン。 || ゴミが溜まったら削除が一番です。 ⊂⊂ | ||___ ∧ ∧__∧ ∧__ ∧ ∧_ | ̄ ̄ ̄ ̄| ( ∧ ∧__ ( ∧ ∧__( ∧ ∧  ̄ ̄ ̄ 〜(_( ∧ ∧_ ( ∧ ∧_ ( ∧ ∧ は〜い、先生。 〜(_(´・ω・`)〜(_( ,,)〜(_(´・ω・`) 〜(___ノ 〜(___ノ 〜(___ノ 又誰か書いてるよ (省略されました・・全てを読むにはここを押してください)  ̄ ̄
245 名前:132人目の素数さん mailto:sage [04/11/02 16:51:18] お前が一番過剰反応してるのだが、、、。
246 名前:132人目の素数さん mailto:sage [04/11/05 15:58:45] 圏って何ですか?何に使うんですか?
247 名前:132人目の素数さん mailto:sage [04/11/05 16:36:09] 一言で圏と言ってもいろいろあるわけだが。 蛇圏、酔圏、蛇鶴八圏などなど
248 名前:132人目の素数さん [04/11/05 22:38:48] カテゴリスト
249 名前:132人目の素数さん mailto:sage [04/11/06 12:02:18] 野球圏
250 名前:132人目の素数さん [04/11/06 16:12:46] そういやトポスってデパートが昔あったような気がするけど、今でもそれはあるの?
251 名前:132人目の素数さん [04/11/06 16:45:25] >>250 あります 北千住に
252 名前:132人目の素数さん mailto:sage [04/11/06 17:14:46] デパートに限らずどこにでもあるよ。
253 名前:132人目の素数さん mailto:sage [04/11/06 19:38:04] www.nn.iij4u.or.jp/~hsat/techterm/topos.html ダイエー系のディスカウントストアなのか。今度こそ消えるのかね
254 名前:working woman [04/11/07 14:57:33] 今の時間帯人小杉 私が話題提供してあげましょうか?
255 名前:132人目の素数さん [04/11/07 18:45:55] みんなサザエさんみてるんだよ。
256 名前:132人目の素数さん [04/11/07 19:10:32] 今は両さん
257 名前:132人目の素数さん [04/11/07 20:41:35] 今は暴れん坊将軍(Matsudaira category)
258 名前:132人目の素数さん [04/11/12 05:11:05] science3.2ch.net/test/read.cgi/math/1070510931/563
259 名前:132人目の素数さん [04/11/13 12:23:51] 圏論演習はまだか
260 名前:132人目の素数さん [04/11/17 12:17:48] 872
261 名前:132人目の素数さん [04/11/22 22:20:18] 188
262 名前:132人目の素数さん [04/11/29 22:52:13] 555
263 名前:132人目の素数さん [04/12/07 04:57:47] 470
264 名前:132人目の素数さん [04/12/14 03:55:25] 575
265 名前:132人目の素数さん [04/12/21 08:25:43] 244
266 名前:132人目の素数さん [04/12/26 15:24:35] 185
267 名前:132人目の素数さん [04/12/29 02:35:04] >>260-266 カウント厨必死だな