線型代数対話 第1巻 圏論的集合論 集合圏とトポス
Book information
Description
本書は、シリーズ「線型代数対話」の第一巻である。にもかかわらず、「いわゆる線型代数」で 扱わ れる話はほぼまったく登場しない。本書の志とは、著者二人による対話という形をとりな がらもっとも広い意味における線型代数の沃野(数学全体を含む)を圏論的に鳥瞰しつつ、蛇のよ うに地べたを這いずり回りながら進むことにある 第一巻では「圏論的集合論」を扱うことにする。より詳しく言えば、「集合と写像の全体から なる世界」=「集合圏」(そしてその一般化としての「トポス」)の概念を、圏論の基礎概念を準 備した上で「定義」し、「もっとも広い意味における線型代数」の基盤に据える。すなわち、 「集合圏」を圏論的に定義しようと試みる中で圏論の基本概念の理解が深まり、「もっとも広 い意 味での線型代数」(数学全体を含む)を自在に探求できるようになるのが第1巻での目指すと ころである。
Similar books
Institution-independent Model Theory
2025 · PDF
Category Theory and Applications: A Textbook for Beginners
2018 · PDF
An Introduction To Category Theory In Four Easy Movements
Relative Category Theory and Geometric Morphisms: A Logical Approach (Oxford Logic Guides)
1992 · PDF
Introduction to the Theory of Categories and Functors (Pure & Applied Mathematics Monograph)
1968 · PDF
Introduction to the Theory of Categories and Functors (Pure & Applied Mathematics Monograph)
1968 · DJVU
Algebra: Chapter 0
2009 · PDF
線型代数対話 第2巻 モノイドの線型代数 モノイダル構造から行列計算へ
2022 · PDF