フワちゃん

集合論・圏論以外の一般理論

レス数: 2

ホーム » 数学 » 集合論・圏論以外の一般理論
概要: 集合論・公理的集合論 圏論・高次圏論 型理論・ホモトピー型理論 トポス・高次トポス理論
No.1名無しさん
#
集合論・公理的集合論
圏論・高次圏論
型理論・ホモトピー型理論
トポス・高次トポス理論
No.2名無しさん
#
働け

このカテゴリの過去スレッド

0は自然数か否か

名無しさん
基本的には足し算を作るような分野は０を自然数に入れて、それ以外の分野は入れない。

微分は行列で表現できんの？

名無しさん
何に対してどう基底を作るか
例えば冪乗の基底 (1, x, x^2, x^3, ....) を考えるとこれを要素毎に微分したものは
(0, 1, 2x,...

メタプレクティック群

名無しさん
T = T' = S1
π: T' → T
π(θ) := nθ
f: T → C
α∈T
(αf)(θ) := f(α + θ)
f∼: T' → C
f∼(θ) := f(π(θ)) = f(nθ)
β∈...

平方剰余の相互法則

名無しさん
高次冪剰余の法則はどの程度まで
完全に掌握されているのだろうか？
すべて類体論でもって解決済みだ
といえるのだろうか...