レス書き込み
スレへ戻る
写
レス栞
レス消
現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net
PC,スマホ,PHSは
ULA
べっかんこ
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>148 > https://en.wikipedia.org/wiki/Simplicial_set > Simplicial set > From Wikipedia, the free encyclopedia > > In mathematics, a simplicial set is a construction in categorical homotopy theory that is a pure algebraic model of the notion of a "well-behaved" topological space. > Historically, this model arose from earlier work in combinatorial topology and in particular from the notion of simplicial complexes. Simplicial sets are used to define quasi-categories, a basic notion of higher category theory. > > History and uses of simplicial sets > > Simplicial sets were originally used to give precise and convenient descriptions of classifying spaces of groups. This idea was vastly extended by Grothendieck's idea of considering classifying spaces of categories, and in particular by Quillen's work of algebraic K-theory. > In this work, which earned him a Fields Medal, Quillen developed surprisingly efficient methods for manipulating infinite simplicial sets. > Later these methods were used in other areas on the border between algebraic geometry and topology. For instance, the Andre-Quillen homology of a ring is a "non-abelian homology", defined and studied in this way. > > Both the algebraic K-theory and the Andre-Quillen homology are defined using algebraic data to write down a simplicial set, and then taking the homotopy groups of this simplicial set. Sometimes one simply defines the algebraic K {\displaystyle K} K-theory as the space. > > In recent years, simplicial sets have been used in higher category theory and derived algebraic geometry. Quasi-categories can be thought of as categories in which the composition of morphisms is defined only up to homotopy, and information about the composition of higher homotopies is also retained. > Quasi-categories are defined as simplicial sets satisfying one additional condition, the weak Kan condition.
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.017s