Loading article…
マイケル・バー | |
|---|---|
| 生まれる | 1937年1月22日 |
| 学歴 | |
| 教育 | ペンシルバニア大学(学士、博士) |
| 学術研究 | |
| 規律 | 数学 |
| サブ分野 | ホモロジー 代数 圏論 理論 計算機科学 |
| 機関 | コロンビア大学 イリノイ大学アーバナ・シャンペーン校 マギル大学 |
マイケル・バー（1937年1月22日生まれ）は、アメリカの数学者であり、マギル大学のピーター・レッドパス名誉純粋数学教授である。[1]
幼少期と教育
彼はペンシルベニア州フィラデルフィアで生まれ、 1954年6月にセントラル高校の第202期生として卒業した。1959年2月にペンシルベニア大学を卒業し、1962年6月に同大学から博士号を取得した。
キャリア
バー氏はペンシルバニア大学で数学を学び、1959年に学士号を取得し、1962年にデイビッド・ケント・ハリソン氏の指導の下、 可換代数のコホモロジーで博士号を取得しました。その後、コロンビア大学の講師となり、1964年からはイリノイ大学アーバナ・シャンペーン校で助教授、後に准教授となりました。1968年にマギル大学の准教授となり、1972年に教授となりました。
1967年と1975/76年にはETHチューリッヒの客員研究員、1970/71年にはフリブール大学の客員研究員、1989/90年にはペンシルベニア大学の客員教授を務めた。
1970 年に彼はニースで開催された国際数学者会議(非アーベル完全埋め込み: 概要) に招待講演者として参加しました。
彼の初期の研究はホモロジー代数であったが、彼の長年の主な研究分野は圏論であった。彼は、チャールズ・ウェルズとの共著の著書「計算科学のための圏論」（1990年）や、計算機科学で様々な応用が見出された*-自律圏とチュー空間の開発により、理論計算機科学者にはよく知られている。彼のモノグラフ「*-自律圏」（1979年）や、ウェルズとの共著でもある著書「Toposes, Triples, and Theories」（1985年）[2] [3]、および「Acyclic Models」 （2002年）は、より専門的な読者を対象としている。2011年、マイケル・バーと妻のマーシャはグロタンディークの基本的な東北論文の英訳を出版した。
Barr 氏は、Mathematical Structures in Computer Scienceおよび電子ジャーナルHomology, Homotopy and Applicationsの編集委員を務めており、電子ジャーナルTheory and Applications of Categoriesの編集者でもあります。
参考文献
- ^ 「数学と統計」マギル大学。 2011年8月11日閲覧。
- ^ ピッツ、アンドリュー（1991年3月）、「Barr、M.、Wells、C.によるToposes、Triples、Theoriesのレビュー」、Journal of Symbolic Logic、56（1）：340–341、doi：10.2307/2274934、JSTOR 2274934
- ^ Rota, Gian-Carlo (1986 年 8 月)、「トポーズ、トリプル、理論: M. Barr および C. Wells、Springer、1985 年、345 ページ」、Advances in Mathematics、61 (2): 184、doi : 10.1016/0001-8708(86)90076-9
外部リンク
- トポス、トリプル、理論、1985 年に最初に出版されたテキストの更新版。
- コンピューティング サイエンスのためのカテゴリー理論、書籍の第 3 版が更新されました。
- ホモロジー代数のいくつかの側面、グロタンディークの東北論文の翻訳
- http://www.tac.mta.ca/tac (カテゴリーの理論と応用)
- https://web.archive.org/web/20080704125156/http://www.math.rutgers.edu/hha/geninfo.html (ホモロジー、ホモトピーとその応用)
- 数学系譜プロジェクトのマイケル・バー