Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

2020-09-20から1日間の記事一覧

-数学- Youtubeビデオ 圏論勉強会で学んだこと(8) 米田の補題

第12回圏論勉強会@ワークスアプリケーションズ その1 米田の補題の理解に向けて、反変函手、反変Hom函手を復習します。 反変函手とは圏\(\mathcal{C}\)から\(\mathcal{D}\)への対応\(F\)で、任意の\(\mathcal{C}\)の対象\(A, B\)と射\(f:A\rightarrow B\)に…