ベーシック圏論

2021年10月開講分、お申込み受付中です。こちらからお申込みいただけます。

講座の概要

この講座では、丸善出版から出版されている『ベーシック圏論』(T.レンスター著、斎藤恭司監修、土岡俊介訳)を教科書として、現代的な数学の広い範囲に関わる圏論について学びます。

ベーシック圏論表紙

「圏論は鳥の目で数学を俯瞰する」と教科書の序文にあります。圏論は、数学の様々な分野にわたって共通して現れるパターンを数学的に取り扱うための言語を提供します。また、圏論の考え方は、コンピュータ科学をはじめとする数学以外の分野でも利用されています。

使用する教科書のサブタイトルに普遍性からの速習コースとあるように、この講座では「普遍性」という概念を中心にして圏論についての基本的概念をコンパクトに紹介します。

圏論における中心的な概念である「普遍性」を簡単に説明します。例えば要素を一つしか持たない集合は「他の集合Xをどうとろうとも、Xからの写像がただ一つ存在する」という性質をもち、またそれによって特徴づけられます。つまり、集合たちの世界では「要素が一つしか持たない集合」を他の集合との関係によって記述できるのです。

このように、ある圏のある対象が他の対象とどう関係するかを記述する性質、いいかえるとある対象がある圏の中でどのような役割を果たすかを記述する性質のことを「普遍性」といいます。普遍性によれば、具体的な構成まで立ち入ることなくその対象を特徴づけることができます。この講座では、随伴、表現可能関手、極限という三つの見方を通して普遍性を学んでいきます。

圏論には数学の広い分野にわたって現れるパターンを抽象化するという特徴があり、そのためいろいろな数学的知識を持っているとより多くの具体例を理解できます。しかし全ての例を理解できるようになるのは難しく、教科書でも「すべての例を理解できるだけの数学的素養をもっていた学生はいなかったと思う.」とあるほどです。本講座では圏論の具体例を理解するために必要な知識についても時間の許す限り補足します。

この教科書では豊富な例や演習問題を通して基本的な概念を理解することができます。抽象的な数学を学ぶ上では様々な具体例について親しむとともに、数学的な事実を論理のみに基づいて証明していくことが必要です。演習問題については翻訳者による丁寧な解答がありますが、自分の書いたものが正しいのか間違っているのかというのはなかなか判断するのが難しいものです。この講座では、指定した演習問題を提出いただきそれ添削することで、数学的な証明を記述する能力を身につけていただくことを目指します。

受講にあたって

前提知識

大学初年度までで習う程度の集合や論理について(例えば必要条件十分条件や量化子などの扱い)は既知とします。

数学的な事実を扱うための論理や集合についての取り扱いに慣れているとよいですが講義中にも随時補足します。(弊社講座論理学の基礎、弊社講座集合と位相の第2章まで、『論理と集合から始める数学の基礎』(日本評論社)など)

大学初年度で習う線形代数について知っているとよいです。(弊社講座線形代数入門

参考資料

ゆる圏YouTubeではベーシック圏論の内容についての詳細な解説動画が公開されています。

問題解答の添削

教科書の演習問題のうち講義中に指定した教科書の問題及び講師が作成した問題について、ご提出いただいた解答を添削いたします。

カリキュラム

教科書の順番に従って講義を行います。

第1章 圏・関手・自然変換

ここではまず圏や関手という概念について扱います。さらに自然変換についても扱います。この自然変換という概念こそが圏論の誕生の動機です。圏と圏を結びつけるものが関手であり、関手と関手を結びつけるものが自然変換です。この二段階の複雑な構造に慣れるのはなかなか難しいものですが、多くの具体例を通して馴染んでいきましょう。

第2章 随伴

普遍性への第一のアプローチとして随伴を扱います。随伴とは、二つの関手の間の特別な関係性のことです。随伴関手のいくつかの例とともに、随伴関手の三通りの定義を紹介しそれらの関係について扱うのがこの章の目的です。これまでにご存知の数学の中にも知らないうちに随伴やその帰結を扱っていることは多く、随伴について知ることで数学に現れるパターンを見つけやすくなります。

第3章 休憩:集合論について

集合と関数は数学における基本的な概念です。この章ではこれらについて解説します。また、圏論においては、集合全体の圏や群全体の圏など、たくさんのものの集まりのなす圏を考えます。このようなたくさんのものの集まりは、集合論では扱いに注意が必要なものです。その点についても簡単に紹介します。

第4章 表現可能関手

普遍性への第二のアプローチとして表現可能関手について扱うのがこの章のテーマです。冒頭に述べた一点集合の他の集合との間の写像による普遍性の記述は、この表現可能関手の考え方を用いたものです。つまり、ある特定の対象から他の対象を見るという考え方を定式化したものが表現可能関手です。また、有名な米田の補題についてもこの章で扱います。

第5章 極限

普遍性への第三のアプローチとして極限と余極限について扱うのがこの章です。様々な数学的対象の構成方法は極限や余極限として理解することができます。自然数の最小公倍数や最大公約数、集合の直和や直積といった概念はその例です。この章では極限や余極限についてのたくさんの例を紹介します。

第6章 随伴・表現可能関手・極限

ここまでみてきた普遍性についての三つの概念、随伴、表現可能関手、極限の関係について扱います。またそれを利用して特に前層圏の性質について見ていきます。

受講詳細

お申し込み、録画購入はお申込フォームからお願いします。

名称 ベーシック圏論
講師 梅崎 直也
日程

土曜クラス 10:00-12:00、10月16日-3月5日、全19回(12月25日、1月1日は休講)

*詳細は下記の開講スケジュールをご参照ください。

場所

Zoomによるオンライン講座となります。

教科書

T. レンスター著「ベーシック圏論」(丸善出版)

※著作権の関係上、お持ちでない場合は必ずご購入いただくようお願いいたします。著者及び出版社には、教科書として使用する許可を得ておりますが、本講座とは無関係です。本講座に関しては弊社へのみお問い合わせください。

受講料 19,500円/月 クレジットカード支払いはこちらのページから。
持ち物

・筆記用具
・教科書

その他 ・体験受講は無料です。1回のみのご参加で辞退された場合、受講料は頂いておりません。
・授業は毎回録画されます。受講月の録画は授業終了から2年間オンラインにて見放題となります(ダウンロード不可)。
・動画視聴のみの受講も可能です。アーカイブのご視聴をご希望の方はこちら

お申込み

お申し込みは、以下のお申込フォームからお願いします。

※お手数ですが、講座名について『ベーシック圏論』を選択のうえ送信をお願いします。

お名前 (必須)


講座名(必須)

お問合せ内容 詳細


開講スケジュール

12月25日、1月1日は休講です。

  土曜日クラス
10:00〜12:00
第1講 10月16日
第2講 10月23日
第3講 10月30日
第4講 11月6日
第5講 11月13日
第6講 11月20日
第7講 11月27日
第8講 12月4日
第9講 12月11日
第10講 12月18日
第11講 1月8日
第12講 1月15日
第13講 1月22日
第14講 1月29日
第15講 2月5日
第16講 2月12日
第17講 2月19日
第18講 2月26日
第19講 3月5日