現代数学の系譜工学物理雑談古典ガロア理論も読む80

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む80 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

177: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2020/01/08(水) 19:04:57.09 ID:1QCooAdl

>>175 追加
species って、wikipedia では、下記 Combinatorial species なのだが、望月先生と同じ意味か？
Andre Joyal 抜きには語れないようだが、望月 IUT4には Joyal先生の名前が出てこない（＾＾；

https://en.wikipedia.org/wiki/Combinatorial_species
Combinatorial species
(抜粋)
In combinatorial mathematics, the theory of combinatorial species is an abstract, systematic method for analysing discrete structures in terms of generating functions.
Examples of discrete structures are (finite) graphs, permutations, trees, and so on; each of these has an associated generating function which counts how many structures there are of a certain size.
One goal of species theory is to be able to analyse complicated structures by describing them in terms of transformations and combinations of simpler structures.

https://en.wikipedia.org/wiki/Andr%C3%A9_Joyal
(抜粋)
Andre Joyal (born 1943) is a professor of mathematics at the Universite du Quebec a Montreal who works on category theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2013,[1] where he was invited to join the Special Year on Univalent Foundations of Mathematics.[2]

Research
He discovered Kripke?Joyal semantics,[3] the theory of combinatorial species and with Myles Tierney a generalization of the Galois theory of Alexander Grothendieck[4] in the setup of locales. Most of his research is in some way related to category theory, higher category theory and their applications.
He did some work on quasi-categories, after their invention by Michael Boardman and Rainer Vogt, in particular conjecturing[5] and proving the existence of a Quillen model structure on sSet whose weak equivalences generalize both equivalence of categories and Kan equivalence of spaces.
He co-authored the book "Algebraic Set Theory" with Ieke Moerdijk and recently started a web-based expositional project Joyal's CatLab [6] on categorical mathematics.

http://rio2016.5ch.net/test/read.cgi/math/1578091012/177

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.031s