概要: LawvereとSchauel共著のConceptual Mathematicsのsession 26には加法圏について議論されている。そこでは射の行列表示を定義して、Exercise 1(p.280)の問題はこの行列表示は普通の行列(線形代数で現れる行列)と同じように計算できることを示せというも…

概要 反変ベクトル(contravariant)と共変ベクトル(covariant)を解説する。これらは直行基底のときは区別はない。が、一般のテンソルには区別が必要である。 完全に自分のためにノートです。あしからず。 基底の変換とベクトルの成分(座標)の変換を比較して、…

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

どうも僕です。 外国人と交流するとき、まずその人の食べられないものを聞かなければなりません。それは宗教上の理由や思想の理由やアレルギーの理由などがあるからです。 このとき、英語でどのように聞けばいいのでしょうか。それは次のように言えばいいで…

どうも僕です。 今回は愚痴です。 家庭教師のアルバイトを一年近くおこない、最近辞めました。ですので、ここで愚痴だったり私が感じたことを書きたいと思います。 家庭教師のメリット・デメリット 家庭教師のメリット 家庭教師のデメリット 家庭教師へのア…