タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

数学と圏論に関するegory_catのブックマーク (1)

  • 随伴は あらゆるところに 現れる - Corollaryは必然に。

    この記事はCategory Theory Advent Calendar 2018の6日目の記事であることをお知らせします。7日目はmod_poppoさんの「アプリカティブ関手ってなに?モノイド圏との関係は?調べてみました!」です。 Φカフェ数学デーで行われている「『ベーシック圏論』をゆるく読む会」、通称「ゆる圏↻」。前回は第1章のまとめとして「圏・関手・自然変換」について書きました。 corollary2525.hatenablog.com 今回は第2章の随伴です。Saunders Mac Lane の教科書 Categories for the Working Mathematicianには次の標語が載っています : Adjoint functors arise everywhere.「随伴は あらゆるところに 現れる」と訳せば五七五ですね*1。あらゆるところに現れるのであれば随伴は重

    随伴は あらゆるところに 現れる - Corollaryは必然に。
  • 1