limitとcolimit - ラシウラ
圏論続き。 図式(diagram) 圏論では、h = f.g のことを、hとf.gは「可換」といいます。 圏Setでは、{(x,h(x))|∀x} と {(x, f(g(x)))|∀x}が等しいことを指します。 射それぞれf:Y->Z, g:X->Y, h:X->Zとすると、 という「図式」が書けます。図式は以下の性質を記述してます: 頂点が対象 矢印が射 矢印の連結が射の合成 そして矢印の始点と終点をつなぐルートすべてを可換 函手(functor) 圏の射(や対象)を引数にとってその結果の射(や対象)が構成要素になるような圏を作る関数のようなもの。 F: C->D と書くと、圏Cから圏Dを作る函手Fということになる。性質としては F(id:c->c) = id:d->d F(f.g) = F(f).F(g) c,c1,c2,c3∈C, d,d1,d2,d3∈D g: c1->c2, f:
始対象と終対象 - ラシウラ
圏論の学習で、始対象と終対象の理解でつまづかせるのは、書籍等でのその例に挙げられる圏Setでの対象である空集合に対する射の説明がないからだとわかった。 始対象、終対象ともに定義なのでそれ自体は特に難しくないのだが、例が無説明で挙げられるのみなので、そこにひっかかってしまうのです。 定義は以下のとおり 始対象0: 任意の対象Aで、0からAへの射がひとつのみ存在する対象0 終対象1: 任意の対象Aで、Aから1への射がひとつのみ存在する対象1 この最初にあげられる例として「圏Set(小さな集合。集合を要素に含まない集合)では、始対象は空集合、終対象は任意の1点集合(要素が一つだけの集合)」であると書かれてたりします。 Setでの射 圏Setでの射A->Bとは、集合Aの要素を集合Bの要素に変換する関数になります。外延的に表現すると、集合Aの要素と、集合Bの要素bへのペアの集合になるでしょう。また関
地下鉄の日にぬり絵を見に行ったときのこと - 京都在住
京都市交通局が5月29日の地下鉄の日に、「地下鉄に乗るっ！」のキャンペーンとしてトラフィカ京カードの販売があるということで行ってみました。 京都が世界に誇る太秦萌ちゃん達のことがよくわからないという人はこちらを参照してください。 京都の地下鉄キャラクター「太秦萌」はなぜ“進化”した？ デザイン会社と交通局に聞く制作秘話 - はてなニュース 「太秦萌」のイラストレーター・賀茂川さんに聞く！ ラフ絵を交えた制作エピソード - はてなニュース 当日の朝、そんなに並ばないと思うから時間ぎりぎりに行けばいいかな？ と思っていたら、友達から「（30分以上前なのに）もう行列ができているから早めにこないとやばいかも」と連絡が。 限定100部だし、これは急がないとまずいかも。 慌てて家を飛び出して行列に並び、無事購入することができました。 販売していた太秦天神川駅では応募していたぬり絵コンテストの発表が。i
子どもを初めてかわいいと思った日 - 話半分
ちょうどこの写真の頃の話です。 2才半くらいかな。 長男を出産してから2年と少し。 誰も知り合いがいない土地で、出張が多くて留守がちな夫と 必死で子育てをしていた日々。 育児サークルに行っても、ママ友は出来ても そこへ頼ることもできず、何もかもひとりで背負おうとがんばってた。 初めての子育てで右も左も分からず、 毎日が「これでいいの？大丈夫なの？」の繰り返し。 大丈夫か大丈夫じゃないかわかんないまま、 子どもは日々成長する。 成長は嬉しいけど、また新たな課題がたくさん出てきて、 終わりが見えない。 出産前から、子どもに接するのが苦手だったこともあるだろうと思うけど、 自分の子なのに「かわいい」って思える余裕が、全く、なかった。 義理の両親や実の親も、みんな「かわいい、かわいい」って手放しでほめるけど、 自分にはまったくそうは思えなかった。 早く大きくなって、手を離れて欲しかった。 子どもの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
塩麹を塩に置換 - hitode909の日記
