レス書き込み
スレへ戻る
写
レス栞
レス消
現代数学の系譜 カントル 超限集合論
PC,スマホ,PHSは
ULA
べっかんこ
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>424 > >>421 > 補足 > > 下記、 > 反対圏(=双対圏)の > 例 ”半順序”な(^^ > > (参考) > https://ja.wikipedia.org/wiki/%E5%8F%8D%E5%AF%BE%E5%9C%8F > 反対圏 > (抜粋) > 圏論という数学の分野において,与えられた圏 C の反対圏(はんたいけん,英: opposite category),逆圏(ぎゃくけん)あるいは双対圏(そうついけん,英: dual category)Cop は射を逆にする,つまり,各射の始域と終域を交換することによって作られる. > 逆にする操作を2回やるともとの圏になるので,逆圏の逆圏はもとの圏自身である. > 記号で書けば, (C^op)^op=C である. > > 例 > 例の1つは半順序の不等式の向きを逆にして得られる.つまり X が集合で <= が半順序関係のとき,新しい半順序関係 <=new を > x <=new y ⇔ y <= x > によって定義できる.例えば,子と親,あるいは子孫と先祖という逆のペアがある.
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.016s