You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
米田の補題と自然変換 ここでは自然変換を定義し、その上で米田の補題を証明していきます。 数学の色々な概念を導入することは避け、基本的な集合についての知識の範囲内で収まるように説明することを心がけています。 集合と写像 ここではまず圏について述べるために必要な集合と写像の言葉について復習します。 また、これらが圏や関手、自然変換の例を与えることを見ていきます。 様々な集合に関する操作において自然な同一視、自然な写像というものが出てきますが、これらが自然変換の例であるということを述べています。 具体的には写像の集合Homを取る操作や冪集合を取る操作、直積を取る操作などについて書いてあります。 pdf 公開日2018年7月11日 順序集合 ここでは順序集合について紹介しています。 順序集合というのは集合とその要素間の大小関係を抽象化したもので、例えば通常の整数全体の集合に通常の大小関係を定めたも
「モクドナルド」とか「パミリーマート」、「ヘラーリ」みたいな音をちょっといじっただけ系のもじりが出てくると途端にその世界そのものが揺らいだような感じがしてくる だいたいの名付けにはそれなりに理由とかバックグラウンドがあるものだから、そこの理屈付けが全然見出せないと怖いんだよな ファミリーマート→フレンドマートとかだったらまあ創業者の気分の違いだろうと思えるんだけど、パミリーマートとかになってくるとパミリーっていうのはどういう意味を持つ単語なのか問題とかが出てきて落ち着かなくなる マクドナルドのMcはゲール語で「息子」を指す、とかのクソ細かい設定みたいなのが現実には大量にあるので下手にいじるべきではない パラレル系でいくべき
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く