疑念は探究の動機であり、探究の唯一の目的は信念の確定である。

数学・論理学・哲学・語学のことを書きたいと思います。どんなことでも何かコメントいただけるとうれしいです。特に、勉学のことで間違いなどあったらご指摘いただけると幸いです。 よろしくお願いします。くりぃむのラジオを聴くこととパワポケ2と日向坂46が人生の唯一の楽しみです。

Functors(関手)

圏・関手・自然変換の定義の裏話について

圏論において最も重要な概念は圏(category)と関手(functor)と自然変換(natural transformation)である。これらの関係は次のように言われる。 「圏は関手を定義するために定義され、関手は自然変換を定義するために定義された」 これは アイレンバーグ・マッ…

関手と自然変換で合成される射は再び自然変換であること

概要 関手と自然変換があたえられたとき、適当に定義すればその射はまた自然変換となる。 をそれぞれ次のような関手とする。 を自然変換とする。 このとき、2通りの新しい自然変換を構成することができる。 (1) は関手である。これらの間にできる新しい射 を…

圏論(Category Theory)についての覚書: 圏論の基礎を整理する(3): 圏論の基礎概念をおおざっぱにまとめる

サボり記事第六弾予約投稿第五弾 2/3 23:59予定 今回は圏論のことについて続きを書きます。こちらが 前回の記事で、こちらが、 最初の記事です。 第II部: Functors, Natural Transformations, Equivalences and Yoneda Lemma 関手(Functors) 関手の例 フェイ…

圏論(Category Theory)についての覚書: 圏論の基礎を整理する(1): はじめに

どうもこんにちは。今回は圏論(Category Theory)のことをまとめていきたいと思います。圏論を使いさまざまなことを研究するためにそれの基本を手っ取り早く学びたいかたは多いかと思います。そこで圏論の基本的な概念や定理は何なのかという見取り図を書きた…