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

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

ゆっくり学ぶアーベル圏

ゆっくり学ぶアーベル圏 第3回: 特別な射

概要: 今回は圏論において重要な射を研究する。つまり同型写像(アイソモルフィズム)とモノモルフィズムとエピモルフィズムである。一般に、同型写像ならばモノでありかつエピであるが、その逆は言えない。しかし、集合の圏ではそれが言える。このような条件…

ゆっくり学ぶアーベル圏 第2回: 圏の定義といくつかの例

概要 今回からアーベル圏を学んでいく。そのための前提として一般の圏に関する知識を最低限勉強する。この記事では圏の定義と圏の例を示す。特に今後アーベル圏を議論する上で重要なアーベル群の圏と加群の圏を示す。 はじめに 集合論の復習から 写像とは何…

ゆっくり学ぶアーベル圏 第1回: これからの予定, 加法圏とアーベル圏を勉強する。Introduction

サボり記事第七弾 予約投稿第六弾 2/4, 23:59予定 私はいま層(Sheaves)を勉強しています。そのためアーベル圏(Abelian categories)を勉強しています。ですので、これから圏からはじまり加法圏とアーベル圏を少しずつ書きたいと思います。アーベル圏の入門み…