タグ

ブックマーク / myuon-myon.hatenablog.com (2)

  • 美少女と学ぶ圏論 - Just $ A sandbox

    ここまで書いて飽きました. 1章 圏とその構造 1.1 圏の定義と千景の講義 「4月からのゼミはもう決めた?」 「うん. とりあえず,クラスの子とホモロジー代数ゼミをやろうと思ってるよ. 春休みのうちに予習を進めないと」 「ふぅん,ホモロジー代数ね」 千景は読んでいたをパタンと閉じて, 勢い良く立ち上がったと思ったら大きく伸びをして, つかつかと足を引っ掛けるようにして黒板の前まで歩き, そのあと立ち止まってからくるりと振り返ってこちらを見た. 「homologyはいいね. 複雑な空間から単純だけど重要な情報を抜き出せる. 複雑に絡み合った網の中の, 当に大切なものを拾い上げるようにして情報が得られる. homologyはとてもいいよね」 「千景はホモロジー代数もやってるの?」 「必要な時に扱うだけね. Abelian categoryはそんなに詳しくないし」 「あーべりあんかてごりー

    美少女と学ぶ圏論 - Just $ A sandbox
  • 世界一わかりやすいモナドの記事 - Just $ A sandbox

    は環 はアーベル群 , として、 はAbel圏でモナドを定め、T-代数は左加群になる*1。 *1:これよりわかりやすい例があれば教えて下さい

    世界一わかりやすいモナドの記事 - Just $ A sandbox
    tetryl
    tetryl 2014/04/19
  • 1