术语翻译表

术语翻译表旨在为使用 AI 翻译数学书籍提供统一的术语翻译规范。已经确定的，不再反复讨论；尚未确定的，交给社区比较；没有译名的，由社区共同补充。

共识译名：已有稳定、普遍接受的中文译法，词条锁定——不再投票、不再提交候选；如有异议，登录后可以「申请重新讨论」。

正在投票：存在多个候选译法、尚未形成共识；登录后可单选投票（随时改票），也可提交新的候选译名。

待补充：暂无可靠中文译名；登录后提交译名。

1870共识术语

1征求译名

0待补充

全部共识译名正在投票征求译名待补充

下载稳定术语表下载完整术语表参与术语建设提交新术语

按数学分类浏览

当前筛选到 1871 个英文术语

代数

基础代数25

addition共识译名

加法

associative共识译名

结合

associativity共识译名

结合性

binary operation共识译名

二元运算

commutative共识译名

交换

commutativity共识译名

交换性

degree共识译名

次数

discriminant共识译名

判别式

distributive law共识译名

分配律

distributivity共识译名

分配性

homomorphic共识译名

同态

homomorphism共识译名

同态

isotropic共识译名

迷向

left distributive law共识译名

左分配律

left distributivity共识译名

左分配性

magma共识译名

原群

multiplication共识译名

乘法

operation共识译名

运算

quotient共识译名

商

right distributive law共识译名

右分配律

right distributivity共识译名

右分配性

subtraction共识译名

减法

Witt’s cancellation theorem共识译名

Witt 消去定理

Witt’s theorem共识译名

Witt 定理

zero共识译名

零

群论86

2-group共识译名

2-群

abelian group共识译名

Abel 群

abelianization共识译名

交换化

action共识译名

作用

algebraic group共识译名

代数群

alternating group共识译名

交错群

amenable group共识译名

可均群

anima共识译名

生象

automorphism共识译名

自同构

Borel subgroup共识译名

Borel 子群

braid group共识译名

鞭群

Brauer group共识译名

Brauer 群

centralizer共识译名

中心化子

centre共识译名

中心

Chow group共识译名

周群

classification of finite simple groups共识译名

有限单群分类

commutator共识译名

换位子

commutator subgroup共识译名

换位子群

composition series共识译名

合成列

conjugate共识译名

共轭

conjugation共识译名

共轭

coset共识译名

陪集

crystallographic group共识译名

晶体群

cyclic group共识译名

循环群

delooping groupoid共识译名

解环群胚

dihedral group共识译名

二面体群

exceptional isomorphism共识译名

例外同构

foundamental ∞-groupoid共识译名

基本 ∞-群胚

free group共识译名

自由群

fundamental group共识译名

基本群

fundamental groupoid共识译名

基本群胚

G-set共识译名

G-集合

Galois group共识译名

伽罗瓦群

general linear group共识译名

一般线性群

generate共识译名

生成

generator共识译名

生成元

group共识译名

群

group cohomology共识译名

群上同调

group completion共识译名

群化

group completion theorem共识译名

群化定理

group object共识译名

群对象

group representation共识译名

群表示

group representation category共识译名

群表示范畴

group scheme共识译名

群概形

group theory共识译名

群论

groupoid共识译名

群胚

homotopy group共识译名

同伦群

homotopy groups of spheres共识译名

球面同伦群

Lie group共识译名

李群

Lie groupoid共识译名

Lie 群胚

locally compact group共识译名

局部紧群

Mathieu group共识译名

Mathieu 群

modular group共识译名

模群

monoid action共识译名

幺半群作用

normal共识译名

正规

normal subgroup共识译名

正规子群

nth (ordered/unordered) configuration space共识译名

n 点 (有序/无序) 构形空间

opposite group共识译名

反群

orbifold groupoid共识译名

轨形群胚

orthogonal group共识译名

正交群

parabolic subgroup共识译名

抛物子群

path category共识译名

道路范畴

path connected共识译名

道路连通

pin group共识译名

扩旋量群

profinite共识译名

投射有限

profinite group共识译名

投射有限群

quotient group共识译名

商群

S-act共识译名

S-作用

semidirect product共识译名

半直积

semigroup action共识译名

半群作用

simple共识译名

单

simple group共识译名

单群

solvable group共识译名

可解群

space group共识译名

空间群

special linear group共识译名

特殊线性群

special orthogonal group共识译名

特殊正交群

spin group共识译名

旋量群

subgroup共识译名

子群

subquotient共识译名

子商集

Sylow theorems共识译名

Sylow 定理

symmetric group共识译名

置换群

Tits system共识译名

Tits 系

topological group共识译名

拓扑群

trivial group共识译名

平凡群

Whitehead problem共识译名

Whitehead 问题

∞-groupoid共识译名

∞-群胚

环论71

adele ring共识译名

加元环

analytic ring共识译名

解析环

animated ring共识译名

生象环

associated prime ideal共识译名

结合素理想

Borromean rings共识译名

Borromeo 环

catenary ring共识译名

悬链环

characteristic共识译名

特征

codomain; target共识译名

到达域

Cohen–Macaulay ring共识译名

Cohen–Macaulay 环

commutative ring共识译名

交换环

Dedekind domain共识译名

Dedekind 整环

derivation共识译名

导子

discrete valuation ring共识译名

离散赋值环

division ring共识译名

除环

domain; source共识译名

出发域

embedded prime共识译名

嵌入素理想

Euclidean domain共识译名

Euclid 整环

flow domain共识译名

流域

formal power series共识译名

形式幂级数

Frobenius homomorphism共识译名

Frobenius 同态

G-ring共识译名

G-环

Galois ring共识译名

Galois 环

Gorenstein ring共识译名

Gorenstein 环

graded ring共识译名

分次环

Henselian ring共识译名

Hensel 环

Huber ring共识译名

Huber 环

ideal共识译名

理想

integrally closed domain共识译名

整闭整环

invertible共识译名

可逆

irreducible共识译名

不可约

Jacobson density theorem共识译名

Jacobson 稠密性定理

Jacobson radical共识译名

Jacobson 根

Jacobson ring共识译名

Jacobson 环

Jacobson–Herstein theorem共识译名

Jacobson–Herstein 定理

Krull’s principal ideal theorem共识译名

Krull 主理想定理

Lazard ring共识译名

Lazard 环

local ring共识译名

局部环

maximal ideal共识译名

极大理想

minimal prime ideal共识译名

极小素理想

monic polynomial共识译名

首一多项式

nilradical共识译名

幂零根

Noetherian ring共识译名

诺特环

p-adic period ring共识译名

p 进周期环

perfect ring共识译名

完全环

perfectoid ring共识译名

完全胚环

polynomial共识译名

多项式

primary ideal共识译名

准素理想

prime avoidance共识译名

素理想回避

prime ideal共识译名

素理想

principal ideal共识译名

主理想

quotient ring共识译名

商环

radical共识译名

根

reduced ring共识译名

既约环

regular ring共识译名

正则环

ring共识译名

环

ring homomorphism共识译名

环同态

rng; nonunital ring共识译名

无幺环

root共识译名

根

root system共识译名

根系

seminormed ring共识译名

半范环

semisimple ring共识译名

半单环

structure theorem for finitely generated modules over a principal ideal domain共识译名

主理想整环上有限生成模的结构定理

subring共识译名

子环

total ring of fractions共识译名

全分式环

unique factorization domain (UFD)共识译名

唯一分解整环

universally catenary ring共识译名

泛悬链环

valuation ring共识译名

赋值环

Wedderburn’s little theorem共识译名

Wedderburn 小定理

Wedderburn’s theorem共识译名

Wedderburn 定理

Witt ring共识译名

Witt 环

zero ring共识译名

零环

域论29

algebraic closure共识译名

代数闭包

algebraic extension共识译名

代数扩张

algebraically closed field共识译名

代数闭域

class field theory共识译名

类域论

complex number共识译名

复数

exponential characteristic共识译名

指数特征

extension共识译名

扩张

field共识译名

域

field extension共识译名

域扩张

field of fractions共识译名

分式域

field theory共识译名

域论

finite extension共识译名

有限扩张

finite field共识译名

有限域

function field analogy共识译名

函数域类比

global field共识译名

整体域

Hamiltonian vector field共识译名

Hamilton 向量场

Klein–Gordon field共识译名

Klein–Gordon 场

local class field theory共识译名

局部类域论

local field共识译名

局部域

minimal polynomial共识译名

极小多项式

normal extension共识译名

正规扩张

ordered field共识译名

序域

primitive element theorem共识译名

本原元定理

purely inseparable共识译名

完全不可分

real closed field共识译名

实闭域

separable extension共识译名

可分扩张

spherically complete field共识译名

球完备域

trace共识译名

迹

Tsen’s theorem共识译名

曾定理

模论28

balanced big Cohen–Macaulay module共识译名

平衡大 Cohen–Macaulay 模

big Cohen–Macaulay module共识译名

大 Cohen–Macaulay 模

Cohen–Macaulay module共识译名

Cohen–Macaulay 模

complete module共识译名

完备模

composition series共识译名

合成列

crossed module共识译名

交叉模

D-module共识译名

D-模

direct sum共识译名

直和

finitely generated module共识译名

有限生成模

finitely presented module共识译名

有限表现模

flat module共识译名

平坦模

free module共识译名

自由模

graded module共识译名

分次模

indecomposable module共识译名

不可分解模

injective module共识译名

内射模

length共识译名

长度

maximal Cohen–Macaulay module共识译名

极大 Cohen–Macaulay 模

Mittag-Leffler module共识译名

Mittag-Leffler 模

module共识译名

模

projective module共识译名

投射模

semisimple module共识译名

半单模

sheaf of modules共识译名

模层

simple module共识译名

单模

Smith normal form共识译名

Smith 标准型

structure theorem for finitely generated modules over a principal ideal domain共识译名

主理想整环上有限生成模的结构定理

submodule共识译名

子模

tensor product共识译名

张量积

torsion module共识译名

挠模

Galois 理论5

Galois extension共识译名

伽罗瓦扩张

Galois group共识译名

伽罗瓦群

Galois ring共识译名

Galois 环

Galois theory共识译名

Galois 理论

normal extension共识译名

正规扩张

交换代数49

Alexander subbase theorem共识译名

Alexander 亚基定理

Artin–Rees lemma共识译名

Artin–Rees 引理

associated graded object共识译名

结合分次对象

Auslander–Buchsbaum formula共识译名

Auslander–Buchsbaum 公式

Cohen structure theorem共识译名

Cohen 结构定理

Cohen–Macaulay homomorphism共识译名

Cohen–Macaulay 同态

commutative algebra共识译名

交换代数

commutative algebra object共识译名

交换代数对象

commutative ring共识译名

交换环

conductor共识译名

导子

Dedekind domain共识译名

Dedekind 整环

dimension theory共识译名

维数理论

Euclidean domain共识译名

Euclid 整环

faithfully flat and quasi-compact共识译名

忠实平坦拟紧

faithfully flat homomorphism共识译名

忠实平坦同态

faithfully flat of finite presentation共识译名

忠实平坦有限表现

finite homomorphism共识译名

有限同态

flat homomorphism共识译名

平坦同态

formal fiber共识译名

形式纤维

generic freeness共识译名

广泛自由

graded piece共识译名

分次对象

Henselization共识译名

Hensel 化

Henselize共识译名

Hensel 化

Hilbert series共识译名

Hilbert 级数

Hilbert–Kunz function共识译名

Hilbert–Kunz 函数

Hilbert–Samuel function共识译名

Hilbert–Samuel 函数

Hilbert–Samuel polynomial共识译名

Hilbert–Samuel 多项式

Hilbert’s basis theorem共识译名

Hilbert 基定理

integrally closed domain共识译名

整闭整环

Jacobson radical共识译名

Jacobson 根

Krull intersection theorem共识译名

Krull 交定理

Krull–Akizuki theorem共识译名

Krull–Akizuki 定理

Krull’s height theorem共识译名

Krull 高度定理

miracle flatness共识译名

奇迹平坦

multiplicity共识译名

重数

Nakayama’s lemma共识译名

Nakayama 引理

nilradical共识译名

幂零根

noncommutative algebra共识译名

非交换代数

Popescu’s approximation theorem共识译名

Popescu 逼近定理

primary decomposition共识译名

准素分解

prime spectrum共识译名

素谱

prism共识译名

棱镜

radical共识译名

根

reduce共识译名

既约化

root共识译名

根

root system共识译名

根系

torsion–complete equivalence共识译名

挠–完备等价

unique factorization domain (UFD)共识译名

唯一分解整环

unramified homomorphism共识译名

非分歧同态

局部化7

Bousfield localization共识译名

Bousfield 局部化

left Bousfield localization共识译名

左 Bousfield 局部化

localizable measure共识译名

可局部化测度

localization共识译名

局部化

localize共识译名

局部化

multiplicative subset共识译名

乘性子集

right Bousfield localization共识译名

右 Bousfield 局部化

Noether 环4

Noether normalization共识译名

Noether 正规化

Noetherian ring共识译名

诺特环

Noetherian space共识译名

Noether 空间

Noether’s theorem共识译名

Noether 定理

维数理论3

dimension theory共识译名

维数理论

Krull dimension共识译名

Krull 维数

system of parameters共识译名

参数系

线性代数64

2-vector space共识译名

2-向量空间

affine subspace共识译名

仿射子空间

alternating bilinear form共识译名

交错双线性型

antisymmetric bilinear form共识译名

反对称双线性型

basis共识译名

基

bilinear form共识译名

双线性型

bilinear map共识译名

双线性映射

characteristic polynomial共识译名

特征多项式

determinant共识译名

行列式

determinant factor共识译名

行列式因子

direct sum共识译名

直和

dual共识译名

对偶

eigenspace共识译名

特征子空间

eigenvalue共识译名

特征值

eigenvector共识译名

特征向量

Euclidean vector space共识译名

Euclid 向量空间

generalized eigenspace共识译名

广义特征子空间

geometric multiplicity共识译名

几何重数

graded vector space共识译名

分次向量空间

inner product共识译名

内积

inner product space共识译名

内积空间

inner product, scaler product共识译名

内积

invariant factor共识译名

不变因子

linear algebra共识译名

线性代数

linear function共识译名

线性函数

linear operator共识译名

线性算子

linear space共识译名

线性空间

linear subspace共识译名

线性子空间

linearly dependent共识译名

线性相关

linearly dependent set of vectors共识译名

线性相关向量组

linearly independent共识译名

线性无关

linearly independent set of vectors共识译名

线性无关向量组

matrix共识译名

矩阵

matrix multiplication共识译名

矩阵乘法

minimal polynomial共识译名

极小多项式

negative definite matrix共识译名

负定矩阵

negative semidefinite matrix共识译名

半负定矩阵

nondegenerate共识译名

非退化

nullity共识译名

零度

pfaffian共识译名

Pfaff 式

positive definite matrix共识译名

正定矩阵

positive semidefinite matrix共识译名

半正定矩阵

projection operator共识译名

投影算子

quadratic form共识译名

二次型

quotient space共识译名

商空间

quotient vector space共识译名

商向量空间

rank共识译名

秩

scalar共识译名

标量

scalar product共识译名

标量积

Smith normal form共识译名

Smith 标准型

square matrix共识译名

方阵

subspace共识译名

子空间

super vector space共识译名

超向量空间

symmetric bilinear form共识译名

对称双线性型

system of linear equations共识译名

线性方程组

tensor共识译名

张量

tensor product共识译名

张量积

topological vector space (TVS)共识译名

拓扑向量空间

transpose共识译名

转置

vector共识译名

向量

vector space共识译名

向量空间

vector subspace共识译名

子向量空间

Witt’s cancellation theorem共识译名

Witt 消去定理

Witt’s extension theorem共识译名

Witt 延拓定理

同调代数53

(co)homological dimension共识译名

(上) 同调维数

(∞,1)-category of chain complexes共识译名

链复形 (∞,1)-范畴

bar construction共识译名

杠构造

biproduct共识译名

双积

cellular chain complex共识译名

胞腔链复形

cellular cochain complex共识译名

胞腔上链复形

chain complex共识译名

链复形

cochain complex共识译名

上链复形

cohomologically smooth共识译名

上同调光滑

cokernel共识译名

余核

condensed spectrum共识译名

凝聚态谱

cycle complex共识译名

圈复形

dense embedding共识译名

稠密嵌入

derivable rule共识译名

可导出规则

derived category共识译名

导出范畴

derived completeness共识译名

导出完备

exact sequence共识译名

正合列

filtered object共识译名

滤对象

filtration共识译名

滤链

five lemma共识译名

五引理

flat dimension共识译名

平坦维数

global dimension共识译名

整体维数

graded piece共识译名

分次对象

heart structure共识译名

心结构

homological algebra共识译名

同调代数

homological conjectures共识译名

同调猜想

homotopy category of chain complexes共识译名

链复形同伦范畴

hypercover共识译名

超覆盖

injective dimension共识译名

内射维数

Karoubi sequence共识译名

Karoubi 序列

Ken Brown’s lemma共识译名

Ken Brown 引理

minimal complex共识译名

极小复形

minimal resolution共识译名

极小消解

Mittag-Leffler condition共识译名

Mittag-Leffler 条件

Mittag-Leffler system共识译名

Mittag-Leffler 系

projective dimension共识译名

投射维数

pseudo-coherent共识译名

伪凝聚

Quillen Q-construction共识译名

Quillen Q 构造

regular sequence共识译名

正则序列

resolution共识译名

消解

shifting共识译名

移位

solid共识译名

固态

stable Dold–Kan correspondence共识译名

稳定 Dold–Kan 对应

t-structure共识译名

t 结构

tensor product complex共识译名

张量积复形

Tor-dimension共识译名

Tor-维数

torsion complex共识译名

挠复形

torsion–complete equivalence共识译名

挠–完备等价

totalization共识译名

整体化

Verdier quotient共识译名

Verdier 商

Verdier sequence共识译名

Verdier 序列

weight structure共识译名

权结构

Whitehead problem共识译名

Whitehead 问题

表示论6

geometric representation theory共识译名

几何表示论

Jacobson density theorem共识译名

Jacobson 稠密性定理

modular representation theory共识译名

模表示论

ordinary representation theory共识译名

常表示论

Schur’s lemma共识译名

Schur 引理

tilting equivalence共识译名

斜置等价

Lie 群与 Lie 代数表示3

Peter–Weyl theorem共识译名

Peter–Weyl 定理

smooth homomorphism共识译名

光滑同态

Weyl chamber征求译名

Weyl 室0 票
Weyl 房0 票
Weyl 腔0 票

代数群表示3

algebraic torus共识译名

代数环面

regular homomorphism共识译名

正则同态

Steinberg endomorphism共识译名

Steinberg 自同态

Lie 理论11

Birkhoff decomposition共识译名

Birkhoff 分解

differential graded Lie algebra (DGLA)共识译名

微分分次 Lie 代数

Dynkin diagram共识译名

Dynkin 图

infinitesimal generator共识译名

无穷小生成元

Lie algebra共识译名

李代数

Lie group共识译名

李群

Lie groupoid共识译名

Lie 群胚

real semisimple Lie algebra共识译名

实半单 Lie 代数

semisimple Lie algebra共识译名

半单 Lie 代数

torus共识译名

环面

Weyl chamber征求译名

Weyl 室0 票
Weyl 房0 票
Weyl 腔0 票

范畴论340

(co)powered共识译名

(余) 幂

(∞,1)-category共识译名

(∞,1)-范畴

(∞,1)-category of chain complexes共识译名

链复形 (∞,1)-范畴

(∞,1)-cocompletion共识译名

(∞,1)-余完备化

(∞,1)-limit共识译名

(∞,1)-极限

(∞,1)-terminal object共识译名

(∞,1)-终对象

(∞,1)-topos共识译名

(∞,1)-意象

2-category共识译名

2-范畴

2-category of kernels共识译名

核 2-范畴

2-functor共识译名

2-函子

6-functor formalism共识译名

六函子理论

abelian category共识译名

阿贝尔范畴

absolute colimit共识译名

绝对余极限

accessible category共识译名

可达范畴

accessible functor共识译名

可达函子

active map共识译名

活性映射

active morphism共识译名

活性态射

acyclic object共识译名

零调对象

additive category共识译名

加性范畴

additive functor共识译名

加性函子

adequate triple共识译名

饱和三元组

adjoint共识译名

伴随

adjoint functor theorem共识译名

伴随函子定理

admissibility structure共识译名

容许结构

algebraic pattern共识译名

代数模式

algebraic theory共识译名

代数理论

amalgamated sum共识译名

粘连和

anima, plural: animae共识译名

生象

arrow category共识译名

箭头范畴

Baire category theorem共识译名

Baire 纲定理

bang modality共识译名

! 模态

Barr–Beck–Lurie Theorem共识译名

Barr–Beck–Lurie 定理

biproduct共识译名

双积

Bousfield–Kuhn functor共识译名

Bousfield–Kuhn 函子

braided monoidal category共识译名

辫幺半范畴

Brown representability theorem共识译名

Brown 可表性定理

Calkin category共识译名

Calkin 范畴

call-by-push-value共识译名

伴随求值

canonical共识译名

典范

cartesian closed category共识译名

积闭范畴

cartesian logic共识译名

Descartes 逻辑

cartesian monoidal category共识译名

积幺半范畴

Cartesian product共识译名

Descartes 积

Cartesian space共识译名

Descartes 空间

cartesian square共识译名

Descartes 方块

categorical homotopy theory共识译名

范畴同伦论

categorical semantics共识译名

范畴语义

categorification共识译名

范畴化

category共识译名

范畴

category O共识译名

范畴 O

category of categories共识译名

范畴的范畴

category of sets共识译名

集合范畴

category of spans共识译名

伸展范畴

category theory共识译名

范畴论

central limit theorem共识译名

中心极限定理

characteristic morphism共识译名

特征态射

closed monoidal category共识译名

闭幺半范畴

Coalgebra共识译名

余代数

cocartesian square共识译名

余 Descartes 方块

cofinal共识译名

共尾

coherent object共识译名

凝聚对象

coherent topos共识译名

凝聚意象

cohomologically smooth共识译名

上同调光滑

coinitial共识译名

共首

colimit共识译名

余极限

coloured operad共识译名

有色算畴

comma category共识译名

逗号范畴

commutative algebra object共识译名

交换代数对象

compactly assembled category共识译名

紧聚集范畴

compactly closed共识译名

紧闭

compactly generated共识译名

紧生成

compactly generated category共识译名

紧生成范畴

complete Segal space共识译名

完备 Segal 空间

completion共识译名

完备化

composition共识译名

复合

comprehension category共识译名

概括范畴

concrete category共识译名

具体范畴

condensed anima共识译名

凝聚态生象

condensed mathematics共识译名

凝聚态数学

condensed set共识译名

凝聚态集

congruence共识译名

同余

connective共识译名

连合

connectivity–truncation factorization system共识译名

连合–截断分解系

contextuality共识译名

语境性

continuous Calkin category共识译名

连续 Calkin 范畴

contravariant functor共识译名

反变函子

coproduct共识译名

余积

corporeal object共识译名

纹素

covariant functor共识译名

协变函子

covering sieve共识译名

覆盖筛

Day convolution共识译名

Day 卷积

Deligne–Lurie completeness theorem共识译名

Deligne–Lurie 完备性定理

democracy共识译名

民主性

dereliction共识译名

丢弃

derived (∞,1)-category共识译名

导出 (∞,1)-范畴

derived category共识译名

导出范畴

derived functor共识译名

导出函子

descent共识译名

下降

descent data共识译名

下降信息

dg-category; differential graded category共识译名

微分分次范畴

diagonal共识译名

对角线

diagonal map共识译名

对角映射

disjoint union共识译名

无交并

display map共识译名

形式丛

distinguished triangle共识译名

正合三角

double category共识译名

双范畴

Eckmann–Hilton argument共识译名

Eckmann–Hilton 论证

effective epimorphism共识译名

有效满态射

effective topos共识译名

有效意象

elementary topos共识译名

初等意象

end共识译名

端

enriched (∞,1)-category共识译名

充实 (∞,1)-范畴

enriched category共识译名

充实范畴

enriched precategory共识译名

充实预范畴

En operad共识译名

En 算畴

epimorphism共识译名

满态射

equalizer共识译名

等子

equifibred natural transformation共识译名

等纤维自然变换

equivalence of categories共识译名

范畴等价

equivalent共识译名

等价

equivariant anima共识译名

等变生象

essentially algebraic theory共识译名

本质代数理论

essentially small category共识译名

本质小范畴

essentially surjective functor共识译名

本质满函子

exact共识译名

正合

exceptional morphism共识译名

反常态射

exceptional pullback共识译名

反常拉回

exceptional pushforward共识译名

反常前推

exponential modality共识译名

指数模态

extensive共识译名

广延

F-nerve共识译名

F-脉

f-prim共识译名

f-紧拘

F-realization共识译名

F-实现

f-suave共识译名

f-温滑

factorization system共识译名

分解系

fibre product category共识译名

纤维积范畴

fibre(d) coproduct共识译名

余纤维积

fibre(d) product共识译名

纤维积

fibred category共识译名

纤维范畴

fibrous pattern共识译名

纤维模式

filtered (∞,1)-colimit共识译名

滤 (∞,1)-余极限

filtered category共识译名

滤范畴

filtered colimit共识译名

滤余极限

filtered object共识译名

滤对象

filtered union共识译名

滤并集

final object共识译名

终对象

forgetful functor共识译名

遗忘函子

foundamental ∞-groupoid共识译名

基本 ∞-群胚

fractured topos共识译名

纹路意象

free共识译名

自由

free topos共识译名

自由意象

full functor共识译名

全函子

full subcategory共识译名

全子范畴

fully faithful functor共识译名

全忠实函子

functor共识译名

函子

functor category共识译名

函子范畴

functorial共识译名

函子性

functoriality共识译名

函子性

generalised object共识译名

广义对象

geometric realization共识译名

几何实现

geometric setup共识译名

几何设定

geometric site共识译名

几何景

geometric surjection共识译名

几何满射

Grothendieck abelian category共识译名

Grothendieck Abel 范畴

group representation category共识译名

群表示范畴

half-adjoint equivalence共识译名

半伴随等价

heart共识译名

心

heart structure共识译名

心结构

higher category theory共识译名

高阶范畴论

Hom functor共识译名

态射函子

homotopy共识译名

同伦

homotopy category共识译名

同伦范畴

homotopy category of chain complexes共识译名

链复形同伦范畴

homotopy equivalence共识译名

同伦等价

homotopy type共识译名

同伦型

horizontal categorification共识译名

横向范畴化

horn共识译名

角

hypercomplete共识译名

超完备

hypercompletion共识译名

超完备化

idempotent complete (∞,1)-category共识译名

幂等完备 (∞,1)-范畴

identity functor共识译名

恒同函子

identity map共识译名

恒同映射

identity morphism共识译名

恒同态射

image共识译名

像

indexed category共识译名

范畴族

inert map共识译名

惰性映射

inert morphism共识译名

惰性态射

infinity category共识译名

无穷范畴

initial object共识译名

始对象

initiality conjecture共识译名

始模型猜想

internal (∞,1)-category共识译名

内 (∞,1)-范畴

internal category共识译名

内群胚

internal functor共识译名

内函子

internal Hom共识译名

幂函子

isomorphic共识译名

同构

isomorphism共识译名

同构

isomorphism of categories共识译名

范畴同构

Kan extension共识译名

Kan 扩张

kernel共识译名

核

Kleisli category共识译名

Kleisli 范畴

lax symmetric monoidal functor共识译名

左松对称幺半函子

left exact共识译名

左正合

leg共识译名

爪

Lens共识译名

透镜

limit共识译名

极限

liquid共识译名

液态

little cubes operad共识译名

小方体算畴

little disks operad共识译名

小圆盘算畴

local morphism共识译名

局部态射

localization共识译名

局部化

localize共识译名

局部化

locally cartesian closed category (LCCC)共识译名

积闭范畴

locally constantly fibred category共识译名

局部常纤维范畴

matching object共识译名

配对对象

modality共识译名

模态

model category共识译名

模型范畴

model structure共识译名

模型结构

monad共识译名

单子

monadic共识译名

单子性

monoid共识译名

幺半群

monoidal (∞,1)-category共识译名

幺半 (∞,1)-范畴

monoidal category共识译名

幺半范畴

monoidal functor共识译名

幺半函子

monomorphism共识译名

单态射

morphism共识译名

态射

multicategory共识译名

多元范畴

n-category共识译名

n-范畴

n-fold category共识译名

n 重范畴

natural共识译名

自然

natural equivalence共识译名

自然等价

natural isomorphism共识译名

自然同构

natural transformation共识译名

自然变换

naturally equivalent共识译名

自然等价

naturally isomorphic共识译名

自然同构

naïve G-anima共识译名

朴素 G-生象

nerve共识译名

脉

non-connective algebraic K-theory共识译名

非连合代数 K 理论

nuclear object共识译名

核对象

object共识译名

对象

of course modality共识译名

显然模态

of small generation共识译名

小生成

oidification共识译名

胚化

operad共识译名

算畴

oplax symmetric monoidal functor共识译名

右松对称幺半函子

opposite category共识译名

反范畴

over category共识译名

俯范畴

overlapping and order-independent共识译名

重叠但无序

p-cartesian morphism共识译名

p-拉回

path category共识译名

道路范畴

planar operad共识译名

平面算畴

pointed category共识译名

带点范畴

pop共识译名

出栈

preadditive category共识译名

预加性范畴

precategory共识译名

预范畴

presentable category共识译名

可表现范畴

presheaf共识译名

预层

product共识译名

积

product category共识译名

积范畴

projection formula共识译名

投影公式

pseudo abelian category共识译名

伪 Abel 范畴

pseudo-functor共识译名

伪函子

pullback共识译名

拉回

pullback formalisms共识译名

拉回理论

push共识译名

入栈

pushforward共识译名

前推

pushout共识译名

推出

pushout category共识译名

粘连范畴

quasi-category共识译名

拟范畴

quasi-compact共识译名

拟紧

quasi-separated共识译名

拟分离

Quillen’s theorem A共识译名

Quillen 定理 A

Quillen’s theorem B共识译名

Quillen 定理 B

quotient category共识译名

商范畴

red herring principle共识译名

白马非马

regular monomorphism共识译名

正则单态射

representable functor共识译名

可表函子

retract共识译名

收缩核

right cancellative共识译名

右可消

right exact共识译名

右正合

ringed topos共识译名

环化意象

Segal space共识译名

Segal 空间

self-dual category共识译名

自反范畴

separator共识译名

区分元

sheafy共识译名

层性

shriek modality共识译名

尖叫模态

sieve共识译名

筛

sifted共识译名

筛

sifted (∞,1)-category共识译名

筛 (∞,1)-范畴

sifted (∞,1)-colimit共识译名

筛 (∞,1)-余极限

simplicial set共识译名

单纯集

single-sorted algebraic theory共识译名

单类代数理论

singularity category共识译名

奇点范畴

site共识译名

景

six-functor formalism共识译名

六函子理论

small category共识译名

小范畴

smash product共识译名

缩积

span共识译名

伸展

span category共识译名

伸展范畴

stable (∞,1)-category共识译名

稳定 (∞,1)-范畴

stack共识译名

叠

strong limit cardinal共识译名

强极限基数

subcategory共识译名

子范畴

subfunctor共识译名

子函子

suitable decomposition共识译名

合适的分解

symmetric monoidal (∞,1)-category共识译名

对称幺半 (∞,1)-范畴

symmetric monoidal category共识译名

对称幺半范畴

syntactic category共识译名

句法范畴

t-structure共识译名

t 结构

topos共识译名

意象

totalization共识译名

整体化

transmutation共识译名

炼化

triangulated category共识译名

三角范畴

truncation共识译名

截断

twisted arrow category共识译名

扭箭头范畴

under category共识译名

仰范畴

unit law共识译名

单位律

univalent category共识译名

泛等范畴

universal construction共识译名

万有构造

universal element共识译名

万有元

universal property共识译名

万有性质

vertical categorification共识译名

纵向范畴化

Waldhausen category共识译名

Waldhausen 范畴

Waldhausen S-construction共识译名

Waldhausen S 构造

weak action共识译名

弱作用

weak p-cartesian morphism共识译名

p-弱拉回

weakly compact morphism共识译名

弱紧态射

weakly enriched (∞,1)-category共识译名

弱充实 (∞,1)-范畴

weakly extensive共识译名

弱广延

weight structure共识译名

权结构

weighted colimit共识译名

加权余极限

wide subcategory共识译名

宽子范畴

Yoneda embedding共识译名

Yoneda 嵌入

Yoneda lemma共识译名

Yoneda 引理

zero morphism共识译名

零态射

zero object共识译名

零对象

Čech nerve共识译名

Čech 脉

κ-categorical共识译名

κ-定言

∞-category共识译名

∞-范畴

∞-groupoid共识译名

∞-群胚

∞-topos共识译名

∞-意象

非交换代数4

non-abelian Hodge theory共识译名

非交换 Hodge 理论

noncommutative algebra共识译名

非交换代数

octonion共识译名

八元数

Wedderburn’s theorem共识译名

Wedderburn 定理

其他代数44

algebra共识译名

代数

algebra of sets共识译名

集合代数

algebra over an (∞,1)-operad共识译名

(∞,1)-算畴代数

algebraic structure共识译名

代数结构

An-algebra共识译名

An-代数

associative algebra共识译名

结合代数

A∞-algebra共识译名

A∞-代数

Banach algebra共识译名

Banach 代数

Boolean algebra共识译名

布尔代数

braided Hopf algebra共识译名

辫 Hopf 代数

central simple algebra共识译名

中心单代数

Clifford algebra共识译名

Clifford 代数

Coalgebra共识译名

余代数

commutative algebra共识译名

交换代数

commutative algebra object共识译名

交换代数对象

differential graded Lie algebra (DGLA)共识译名

微分分次 Lie 代数

elementary algebra共识译名

初等代数

En-algebra共识译名

En-代数

fundamental theorem of algebra共识译名

代数基本定理

Hecke algebra共识译名

Hecke 代数

Heyting algebra共识译名

Heyting 代数

higher algebra共识译名

高阶代数

homological algebra共识译名

同调代数

homotopical algebra共识译名

同伦代数

Hopf algebra共识译名

Hopf 代数

Iwahori–Hecke algebra共识译名

Iwahori–Hecke 代数

join-semilattice共识译名

并半格

Lie algebra共识译名

李代数

linear algebra共识译名

线性代数

n-ary operation共识译名

n 元运算

noncommutative algebra共识译名

非交换代数

partial combinatory algebra共识译名

部分组合代数

quandle共识译名

卝

quasitriangular Hopf algebra共识译名

准三角 Hopf 代数

real semisimple Lie algebra共识译名

实半单 Lie 代数

semigroup; hemigroup共识译名

半群

semisimple Lie algebra共识译名

半单 Lie 代数

symmetric algebra共识译名

对称代数

tensor algebra共识译名

张量代数

unital magma共识译名

幺原群

universal enveloping algebra共识译名

泛包络代数

vertex algebra共识译名

顶点代数

Virasoro algebra共识译名

Virasoro 代数

σ-algebra共识译名

σ-代数

几何7

angle共识译名

角

geometry共识译名

几何学

line共识译名

直线

origin共识译名

原点

plane共识译名

平面

point共识译名

点

Pythagorean theorem共识译名

勾股定理

微分几何18

Atiyah–Singer index theorem共识译名

Atiyah–Singer 指标定理

Chern class共识译名

陈类

Chern–Simons theory共识译名

陈–Simons 理论

connection共识译名

联络

curve共识译名

曲线

differential geometry共识译名

微分几何

distribution共识译名

分布

embedding共识译名

嵌入

holomorphic bisectional curvature共识译名

全纯双截曲率

holomorphic sectional curvature共识译名

全纯截曲率

immersion共识译名

浸入

index convention共识译名

指标约定

involutive distribution共识译名

对合分布

Levi-Civita connection共识译名

Levi-Civita 联络

orbifold共识译名

轨形

p-curvature共识译名

p-曲率

real bisectional curvature共识译名

实双截曲率

tangent bundle共识译名

切丛

光滑流形18

Cartan formula共识译名

Cartan 公式

coordinate chart共识译名

局部坐标

derivation共识译名

导子

differential form共识译名

微分形式

jet共识译名

射流

jet bundle共识译名

射流丛

jet manifold共识译名

射流形

manifold共识译名

流形

principal bundle共识译名

主丛

section共识译名

截面

smooth function共识译名

光滑函数

smooth manifold共识译名

光滑流形

smooth map共识译名

光滑映射

smooth of dimension d共识译名

d 维光滑

submanifold共识译名

子流形

tangent map共识译名

切映射

tangent space共识译名

切空间

vector bundle共识译名

向量丛

Riemann 几何14

Bonnet–Myers theorem共识译名

Bonnet–Myers 定理

Calabi–Yau manifold共识译名

Calabi–丘流形

Calabi–Yau variety共识译名

Calabi–丘簇

Cauchy–Riemann equations共识译名

Cauchy–Riemann 方程

generalized Riemann hypothesis共识译名

广义 Riemann 猜想

Riemann hypothesis共识译名

黎曼猜想

Riemann integral共识译名

Riemann 积分

Riemann manifold共识译名

Riemann 流形

Riemann sphere共识译名

Riemann 球面

Riemann surface共识译名

黎曼面

Riemann ζ function共识译名

Riemann ζ 函数

Riemannian metric共识译名

黎曼度量

Riemann–Roch theorem共识译名

Riemann–Roch 定理

Schwarzschild metric共识译名

Schwarzschild 度规

辛几何10

Gromov–Witten invariant共识译名

Gromov–Witten 不变量

Hamiltonian共识译名

Hamilton 算符

isotropic共识译名

迷向

Lagrangian submanifold共识译名

Lagrange 子流形

Poisson manifold共识译名

Poisson 流形

Poisson summation formula共识译名

Poisson 求和公式

symplectic form共识译名

辛形式

symplectic manifold共识译名

辛流形

symplectic structure共识译名

辛结构

virtual fundamental classes共识译名

虚拟基本类

复几何10

(p,q)-form共识译名

(p,q)-形式

anticanonical bundle共识译名

反典范丛

canonical bundle共识译名

典范丛

complex differential form共识译名

复微分形式

complex geometry共识译名

复几何

complex manifold共识译名

复流形

Hermitian manifold共识译名

Hermite 流形

secondary Chern class共识译名

次生陈类

stable vector bundle共识译名

稳定向量丛

strongly positive forms共识译名

强正形式

Kähler 几何3

hard Lefschetz theorem共识译名

Lefschetz 大定理

Kähler differential共识译名

Kähler 微分

Kähler manifold共识译名

Kähler 流形

代数几何114

6-functor formalism共识译名

六函子理论

affine Grassmannian共识译名

仿射 Graßmann 形

affine space共识译名

仿射空间

affine variety共识译名

仿射簇

algebraic geometry共识译名

代数几何

algebraic geometry and analytic geometry共识译名

代数几何–解析几何对应

algebraic line bundle共识译名

代数线丛

algebraic stack共识译名

代数叠

algebraic vector bundle共识译名

代数向量丛

ample line bundle共识译名

丰沛线丛

analytic stack共识译名

解析叠

Artin stack共识译名

Artin 叠

Ax–Grothendieck theorem共识译名

Ax–Grothendieck 定理

Bridgeland stability condition共识译名

Bridgeland 稳定条件

Calabi–Yau manifold共识译名

Calabi–丘流形

Calabi–Yau variety共识译名

Calabi–丘簇

canonical bundle共识译名

典范丛

Cartier divisor共识译名

Cartier 除子

Cartier operator共识译名

Cartier 算子

Cayley–Bacharach theorem共识译名

Cayley–Bacharach 定理

central charge共识译名

中心荷

chart共识译名

坐标卡

Chern class共识译名

陈类

classifying stack共识译名

分类叠

closed subvariety共识译名

闭子簇

cohomologically smooth共识译名

上同调光滑

commutative algebra object共识译名

交换代数对象

cycle complex共识译名

圈复形

Deligne–Mumford stack共识译名

Deligne–Mumford 叠

derived algebraic geometry共识译名

导出代数几何

dimension共识译名

维数

divisor共识译名

除子

dominant morphism共识译名

支配态射

Donaldson–Thomas invariant共识译名

Donaldson–Thomas 不变量

Donaldson–Thomas invariants of fourfolds共识译名

四维 Donaldson–Thomas 不变量

elliptic surface共识译名

椭圆曲面

enumerative geometry共识译名

计数几何

exceptional pullback共识译名

反常拉回

exceptional pushforward共识译名

反常前推

Fano variety共识译名

Fano 簇

fibre共识译名

纤维

flat descent共识译名

平坦下降

framed correspondence共识译名

带标架对应

Frobenius homomorphism共识译名

Frobenius 同态

generic freeness共识译名

广泛自由

generic point共识译名

一般点

geometric invariant theory (GIT)共识译名

几何不变量理论

geometric setup共识译名

几何设定

Grassmannian共识译名

Graßmann 形

greatest common divisor共识译名

最大公约数

Gromov–Witten invariant共识译名

Gromov–Witten 不变量

hard Lefschetz theorem共识译名

Lefschetz 大定理

Harder–Narasimhan filtration共识译名

Harder–Narasimhan 滤链

Hilbert polynomial共识译名

Hilbert 多项式

Hilbert’s Nullstellensatz共识译名

Hilbert 零点定理

Hodge structure共识译名

Hodge 结构

immersion共识译名

浸入

inertia stack共识译名

惯性叠

Jacobian variety共识译名

Jacobi 簇

K3 surface共识译名

K3 曲面

Lefschetz’s principle共识译名

Lefschetz 原理

Lisse-etale site共识译名

光滑-平展景

mirror symmetry共识译名

镜像对称

mixed Hodge structure共识译名

混 Hodge 结构

motive共识译名

母题

motivic infinite loop machine共识译名

母题无穷环路机

motivic spectrum共识译名

母题谱

naive motive共识译名

简单母题

Nakai–Moishezon criterion共识译名

Nakai–Moishezon 判别法

Newton polygon共识译名

Newton 多边形

Nisnevich cover共识译名

Nisnevich 覆盖

partially proper共识译名

部分紧合

polarity共识译名

极性

positivity共识译名

正性

presheaf with framed transfers共识译名

带带标架移送的预层

prime spectrum共识译名

素谱

projective hypersurface共识译名

射影超曲面

projective space共识译名

射影空间

projective variety共识译名

射影簇

proper共识译名

紧合

pure Hodge structure共识译名

纯 Hodge 结构

regular homomorphism共识译名

正则同态

right cancellative共识译名

右可消

Schubert cell共识译名

Schubert 胞腔

Serre duality共识译名

Serre 对偶

sheafy共识译名

层性

singular fiber共识译名

奇异纤维

site共识译名

景

slicing共识译名

切片

smooth morphism共识译名

光滑态射

smooth variety共识译名

光滑簇

stability manifold共识译名

稳定条件流形

stratum共识译名

层

subscheme共识译名

子概形

suitable decomposition共识译名

合适的分解

support property共识译名

支集性质

surface共识译名

曲面

surjective morphism共识译名

满射

tautological bundle共识译名

重言丛

toric variety共识译名

环簇

Tsen’s theorem共识译名

曾定理

universally closed morphism共识译名

泛闭态射

very ample line bundle共识译名

极丰沛线丛

weakly proper共识译名

弱紧合

Weil divisor共识译名

Weil 除子

Weil restriction共识译名

Weil 限制

Zariski site共识译名

Zariski 景

Zariski’s connectedness theorem共识译名

Zariski 连通性定理

Zariski’s main theorem共识译名

Zariski 主定理

zero divisor共识译名

零因子

étale homomorphism共识译名

平展同态

étale morphism共识译名

平展态射

étale site共识译名

平展景

étale topology共识译名

平展拓扑

代数簇11

algebraic curve共识译名

代数曲线

algebraic line bundle共识译名

代数线丛

algebraic variety共识译名

代数簇

curve共识译名

曲线

exceptional isogeny共识译名

例外同源

genus共识译名

亏格

irreducible共识译名

不可约

lemniscate of Bernoulli共识译名

Bernoulli 双扭线

semistable vector bundle共识译名

半稳定向量丛

variety共识译名

簇

very ample line bundle共识译名

极丰沛线丛

概型45

affine scheme共识译名

仿射概形

algebraic space共识译名

代数空间

closed immersion共识译名

闭浸入

closed point共识译名

闭点

closed subscheme共识译名

闭子概形

compact morphism共识译名

紧态射

diagonal morphism共识译名

对角态射

faithfully flat and quasi-compact共识译名

忠实平坦拟紧

faithfully flat morphism共识译名

忠实平坦态射

faithfully flat of finite presentation共识译名

忠实平坦有限表现

finite morphism共识译名

有限态射

flat morphism共识译名

平坦态射

flat site共识译名

平坦景

generic point共识译名

一般点

group scheme共识译名

群概形

Hilbert scheme共识译名

Hilbert 概形

integral scheme共识译名

整概形

irreducible scheme共识译名

不可约概形

locally ringed space共识译名

局部环化空间

morphism locally of finite type共识译名

局部有限型态射

morphism of finite type共识译名

有限型态射

morphism of schemes共识译名

概形态射

Nisnevich site共识译名

Nisnevich 景

open immersion共识译名

开浸入

open subscheme共识译名

开子概形

proper map共识译名

紧合映射

proper morphism共识译名

紧合态射

quasi-compact morphism共识译名

拟紧态射

quasi-compact space共识译名

拟紧空间

reduced induced scheme structure共识译名

诱导既约概形结构

reduced scheme共识译名

既约概形

relative scheme共识译名

相对概形

ringed space共识译名

环化空间

S-scheme共识译名

S-概形

scheme-theoretic image共识译名

概形论像

scheme-theoretically dense共识译名

概形论稠

separated共识译名

分离

seperated morphism共识译名

分离态射

smooth morphism共识译名

光滑态射

smooth of dimension d共识译名

d 维光滑

smooth scheme共识译名

光滑概形

type scheme共识译名

类型范式

universally closed morphism共识译名

泛闭态射

unramified morphism共识译名

非分歧态射

valuative criterion共识译名

赋值判别法

层与上同调41

(∞,1)-sheaf共识译名

(∞,1)-层

algebraic de Rham cohomology共识译名

代数 de Rham 上同调

cellular cohomology共识译名

胞腔上同调

coherent sheaf共识译名

凝聚层

cohomologically smooth共识译名

上同调光滑

cohomology共识译名

上同调

cohomology with compact support共识译名

紧支上同调

differential cohomology共识译名

微分上同调

direct image sheaf共识译名

前推层

Dolbeault cohomology共识译名

Dolbeault 上同调

group cohomology共识译名

群上同调

inverse image sheaf共识译名

拉回层

invertible sheaf共识译名

可逆层

isocrystal共识译名

有理晶体

Nisnevich cover共识译名

Nisnevich 覆盖

ordinary cohomology共识译名

普通上同调

overconvergent共识译名

过收敛

perverse coherent sheaf共识译名

错致凝聚层

perverse sheaf共识译名

错致层

presheaf共识译名

预层

presheaf with framed transfers共识译名

带带标架移送的预层

projection formula共识译名

投影公式

pseudo-coherent共识译名

伪凝聚

pushforward共识译名

前推

quasi-coherent sheaf共识译名

拟凝聚层

relative cohomology共识译名

相对上同调

rigid cohomology共识译名

刚性上同调

section共识译名

截面

Serre duality共识译名

Serre 对偶

sheaf共识译名

层

sheaf cohomology共识译名

层上同调

sheaf of modules共识译名

模层

sheaf of sections共识译名

截面层

sheaf-function correspondence共识译名

层–函数对应

sheafy共识译名

层性

singular coboundary共识译名

奇异边界上链

singular cochain共识译名

奇异上链

singular cocycle共识译名

奇异闭上链

singular cohomology共识译名

奇异上同调

Weil sheaf共识译名

Weil 层

Čech nerve共识译名

Čech 脉

模空间2

moduli space共识译名

模空间

semistable vector bundle共识译名

半稳定向量丛

相交理论13

Cartier divisor共识译名

Cartier 除子

Chow group共识译名

周群

Chow–Novikov t-structure共识译名

周–Novikov t 结构

Chow’s theorem共识译名

周定理

divisor共识译名

除子

Donaldson–Thomas invariant共识译名

Donaldson–Thomas 不变量

Donaldson–Thomas invariants of fourfolds共识译名

四维 Donaldson–Thomas 不变量

enumerative geometry共识译名

计数几何

Gromov–Witten invariant共识译名

Gromov–Witten 不变量

multiplicity共识译名

重数

Schubert cell共识译名

Schubert 胞腔

virtual fundamental classes共识译名

虚拟基本类

Weil divisor共识译名

Weil 除子

双有理几何4

anticanonical bundle共识译名

反典范丛

blow-up共识译名

爆破

negativity lemma共识译名

负性引理

resolution of singularities共识译名

奇点消解

算术几何1

Weil ζ function共识译名

Weil ζ 函数

拓扑

一般拓扑101

Alexander subbase theorem共识译名

Alexander 亚基定理

base共识译名

拓扑基

basepoint共识译名

基点

Brouwer fixed-point theorem共识译名

Brouwer 不动点定理

closed共识译名

闭

closed set共识译名

闭集

cluster point共识译名

聚点

compact space共识译名

紧空间

compact-open topology共识译名

紧开拓扑

complete space共识译名

完备空间

completely regular space共识译名

完全正则空间

completeness共识译名

完备

condensed mathematics共识译名

凝聚态数学

connected共识译名

连通

connected component共识译名

连通分支

connected space共识译名

连通空间

constant map共识译名

常值映射

continuity共识译名

连续性

continuous共识译名

连续

continuous function共识译名

连续函数

continuous map共识译名

连续映射

convergence space共识译名

收敛空间

D-topology共识译名

D-拓扑

empty space共识译名

空空间

extremally disconnected共识译名

极不连通

extremally disconnected space共识译名

极不连通空间

fibre共识译名

纤维

filter共识译名

滤子

first countable space共识译名

第一可数空间

general topology共识译名

一般拓扑

Hausdorff space共识译名

Hausdorff 空间

homeomorphic共识译名

同胚

homeomorphism共识译名

同胚

inclusion map共识译名

含入映射

interior共识译名

内部

Lindelöf space共识译名

Lindelöf 空间

Lipschitz continuous function共识译名

Lipschitz 连续映射

locally compact共识译名

局部紧

locally compact space共识译名

局部紧空间

long line共识译名

长直线

metric共识译名

度量

metric space共识译名

度量空间

Nagata compactification theorem共识译名

Nagata 紧化定理

net共识译名

网

normal space共识译名

正规开集

one-point compactification共识译名

一点紧化

open共识译名

开

open cover共识译名

开覆盖

open set共识译名

开集

order topology共识译名

序拓扑

paracompact共识译名

仿紧

paracompact space共识译名

仿紧空间

paracompactness共识译名

仿紧性

path-connected component共识译名

道路连通分支

path-connected space共识译名

道路连通空间

point-set topology共识译名

点集拓扑

pointed space共识译名

带有基点的空间

principal open共识译名

主开集

product space共识译名

积空间

product topology共识译名

积拓扑

proper map共识译名

紧合映射

properly discontinuous共识译名

离散紧合

quotient共识译名

商

quotient map共识译名

商映射

quotient space共识译名

商空间

quotient topology共识译名

商拓扑

real line with right half-open interval topology共识译名

左闭右开直线

reduced K-theory共识译名

约化 K 理论

refine共识译名

加细 (动词)

refinement共识译名

加细

regular space共识译名

正则空间

retraction共识译名

收缩

second-countable space共识译名

第二可数空间

separated共识译名

分离

separated space共识译名

分离空间

separation axiom共识译名

分离公理

sequentially compact space共识译名

列紧空间

Sierpiński space共识译名

Sierpiński 空间

simply connected共识译名

单连通

singleton space共识译名

单点空间

space共识译名

空间

sphere共识译名

球面

Stone–Čech compactification共识译名

Stone–Čech 紧化

subbase共识译名

拓扑亚基

subcover共识译名

子覆盖

subspace共识译名

子空间

subspace topology共识译名

子空间拓扑

T0 space共识译名

T0 空间

T1 space共识译名

T1 空间

Tikhonov’s theorem共识译名

Tikhonov 定理

topological K-theory共识译名

拓扑 K 理论

topological manifold共识译名

拓扑流形

topological space共识译名

拓扑空间

topological subspace共识译名

拓扑子空间

topological vector bundle共识译名

拓扑向量丛

topology共识译名

拓扑

ultrafilter共识译名

超滤

uniform space共识译名

一致空间

upper semi-continuous function共识译名

上半连续函数

étale topology共识译名

平展拓扑

σ-compact space共识译名

σ-紧空间

代数拓扑156

(co)homological dimension共识译名

(上) 同调维数

+-construction共识译名

+ 构造

Adams operation共识译名

Adams 运算

affine simplex共识译名

仿射单形

algebraic K-theory共识译名

代数 K 理论

algebraic Kan complex共识译名

代数 Kan 复形

arrow fibration共识译名

箭头纤维化

base space共识译名

底空间

base-change共识译名

换基

Blakers–Massey theorem共识译名

Blakers–Massey 定理

Borel–Moore homology共识译名

Borel–Moore 同调

Bott periodicity共识译名

Bott 周期律

braid group共识译名

鞭群

Brown representability theorem共识译名

Brown 可表性定理

Cartan formula共识译名

Cartan 公式

categorical homotopy theory共识译名

范畴同伦论

cell decomposition共识译名

胞腔分解

cellular homology共识译名

胞腔同调

chain homotopy共识译名

链同伦

characteristic class共识译名

示性类

Chern class共识译名

陈类

classifying space共识译名

分类空间

cocartesian fibration共识译名

推出纤维化

cofiber homotopy共识译名

余纤维同伦

cofiber map共识译名

余纤维映射

cofibered共识译名

余纤维的

cofibration共识译名

余纤维化

collapse共识译名

坍塌

collapsible共识译名

可塌

compactly closed共识译名

紧闭

compactly generated共识译名

紧生成

condensed anima共识译名

凝聚态生象

condensed spectrum共识译名

凝聚态谱

configuration space共识译名

构形空间

connectivity–truncation factorization system共识译名

连合–截断分解系

contractible space共识译名

可缩空间

coskeleton共识译名

余骨架

covering共识译名

覆盖

covering space共识译名

覆叠空间

CW complex共识译名

CW 复形

deformation retract共识译名

形变收缩核

deformation retraction共识译名

形变收缩

Eckmann–Hilton argument共识译名

Eckmann–Hilton 论证

Ehresmann’s fibration theorem共识译名

Ehresmann 纤维化定理

excision共识译名

切除

family fibration共识译名

族纤维化

fibration共识译名

纤维化

Freudenthal suspension theorem共识译名

Freudenthal 纬悬定理

fundamental class共识译名

基本类

fundamental group共识译名

基本群

fundamental groupoid共识译名

基本群胚

G-anima共识译名

G-生象

Galois extension共识译名

伽罗瓦扩张

genuine equivariant spectrum共识译名

真等变谱

genuine G-spectrum共识译名

真 G-谱

genus共识译名

亏格

geometric realization共识译名

几何实现

good pair共识译名

好空间对

groupoid共识译名

群胚

higher inductive type共识译名

高阶归纳类型

Hilton–Milnor splitting共识译名

Hilton–Milnor 分裂

Hochschild homology共识译名

Hochschild 同调

homological algebra共识译名

同调代数

homological conjectures共识译名

同调猜想

homology共识译名

同调

homotopic共识译名

同伦

homotopical algebra共识译名

同伦代数

homotopy共识译名

同伦

homotopy category共识译名

同伦范畴

homotopy category of chain complexes共识译名

链复形同伦范畴

homotopy cofibre共识译名

同伦余纤维

homotopy equivalence共识译名

同伦等价

homotopy equivalent共识译名

同伦等价

homotopy extension property(HEP)共识译名

同伦延拓性质

homotopy group共识译名

同伦群

homotopy groups of spheres共识译名

球面同伦群

homotopy level共识译名

同伦层级

homotopy theory共识译名

同伦论

homotopy type共识译名

同伦型

homotopy type theory (HoTT)共识译名

同伦类型论

horn共识译名

角

Hurewicz theorem共识译名

Hurewicz 定理

hypercover共识译名

超覆盖

James splitting共识译名

James 分裂

Kan complex共识译名

Kan 复形

left fibration共识译名

左纤维化

Leray–Serre spectral sequence共识译名

Leray–Serre 谱序列

loop space共识译名

环路空间

mapping cylinder共识译名

映射柱

Mather’s cube theorem共识译名

Mather 方体定理

Milnor K-theory共识译名

Milnor K 理论

morphism共识译名

态射

motivic infinite loop machine共识译名

母题无穷环路机

n-cell共识译名

n 维胞腔

n-connected共识译名

n-连通

n-fold covering共识译名

n 重覆叠

n-skeleton共识译名

n 维骨架

naïve G-anima共识译名

朴素 G-生象

neighborhood deformation retract(NDR)共识译名

邻域形变收缩核 (NDR)

nilpotence theorem共识译名

幂零定理

nth (ordered/unordered) configuration space共识译名

n 点 (有序/无序) 构形空间

null-homotopic map共识译名

零伦映射

object共识译名

对象

ordinary homology共识译名

普通同调

pair of spaces共识译名

空间对

path category共识译名

道路范畴

path connected共识译名

道路连通

path-connected component共识译名

道路连通分支

Poincaré duality共识译名

Poincaré 对偶

principal bundle共识译名

主丛

Quillen +-construction共识译名

Quillen + 构造

Quillen’s theorem A共识译名

Quillen 定理 A

Quillen’s theorem B共识译名

Quillen 定理 B

quotient category共识译名

商范畴

rational homotopy theory共识译名

有理同伦论

reduced K-theory共识译名

约化 K 理论

reduced suspension共识译名

约化纬悬

relative homology共识译名

相对同调

relative to A共识译名

相对于 A

representation sphere共识译名

表示球

retract共识译名

收缩核

right fibration共识译名

右纤维化

Segal operations共识译名

Segal 运算

Segal weak fibration共识译名

Segal 弱纤维化

Seifert–van Kampen theorem共识译名

Seifert–van Kampen 定理

simple homotopy type共识译名

简单同伦型

simplex共识译名

单形

simplicial set共识译名

单纯集

simply connected共识译名

单连通

singular boundary共识译名

奇异边界链

singular chain共识译名

奇异链

singular cycle共识译名

奇异闭链

singular homology共识译名

奇异同调

singular simplex共识译名

奇异单形

skeleton共识译名

骨架

spectral sequence共识译名

谱序列

splitting principle共识译名

分裂原理

standard simplex共识译名

标准单形

Steinberg relation共识译名

Steinberg 关系

strong deformation retract共识译名

强形变收缩核

strong deformation retraction共识译名

强形变收缩

surjective submersion共识译名

满浸没

suspension共识译名

纬悬

tautological bundle共识译名

重言丛

Toda bracket共识译名

Toda 括号

topological Hochschild homology共识译名

拓扑 Hochschild 同调

topological K-theory共识译名

拓扑 K 理论

total Chern class共识译名

全陈类

total space共识译名

全空间

universal coefficient theorem共识译名

万有系数定理

universal cover共识译名

万有覆叠

vector bundle共识译名

向量丛

Waldhausen S-construction共识译名

Waldhausen S 构造

weak homotopy equivalence共识译名

弱同伦等价

well-pointed共识译名

良基点

Whitehead theorem共识译名

Whitehead 定理

微分拓扑6

Atiyah–Singer index theorem共识译名

Atiyah–Singer 指标定理

Chern–Simons theory共识译名

陈–Simons 理论

constant rank theorem共识译名

常秩定理

diffeomorphism共识译名

微分同胚

hairy ball theorem共识译名

毛球定理

manifold共识译名

流形

几何拓扑6

kei共识译名

圭

linking number共识译名

环绕数

orbifold共识译名

轨形

properly discontinuous共识译名

离散紧合

quandle共识译名

卝

stratification共识译名

分层

复解析几何10

adic space共识译名

进制空间

Lefschetz theorem on (1,1)-classes共识译名

Lefschetz (1,1) 定理

locale共识译名

位象

n-truncated共识译名

n-截断

positive form共识译名

正形式

pre-analytic共识译名

预解析

reflect共识译名

反映

steady共识译名

稳态

Stein manifold共识译名

Stein 流形

Stein space共识译名

Stein 空间

凸几何17

120-cell共识译名

正一百二十胞体

27 lines共识译名

27 条直线

Apollonius’ Problem共识译名

Apollonius 问题

barycentric coordinates共识译名

重心坐标

convex combination共识译名

凸组合

convex function共识译名

凸函数

convex hull共识译名

凸包

convex set共识译名

凸集

Euclidean domain共识译名

Euclid 整环

Euclidean geometry共识译名

Euclid 几何

euclidean plane共识译名

Euclid 平面

Euclidean space共识译名

欧几里得空间

Hilbert’s third problem共识译名

Hilbert 第三问题

hyperplane separation theorem共识译名

凸集分离定理

locally euclidean space共识译名

局部 Euclid 空间

non-Euclidean geometry共识译名

非 Euclid 几何

polarity共识译名

极性

离散几何6

120-cell共识译名

正一百二十胞体

Dehn invariant共识译名

Dehn 不变量

lattice共识译名

格

Monsky’s theorem共识译名

Monsky 定理

polytope共识译名

多胞体

regular polytope共识译名

正多胞体

其他几何1

Pascal’s theorem共识译名

Pascal 定理

分析2

analysis共识译名

分析学

function共识译名

函数

实分析38

Arzelà–Ascoli theorem共识译名

Arzelà–Ascoli 定理

calculus共识译名

微积分

Chebyshev’s inequality共识译名

Chebyshev 不等式

closed interval共识译名

闭区间

cluster point共识译名

聚点

convergent series共识译名

收敛级数

derivative共识译名

导数

divergent series共识译名

发散级数

exponential function共识译名

指数函数

Faà di Bruno’s formula共识译名

Faà di Bruno 公式

half-open interval共识译名

半开区间

Hardy–Littlewood maximal function共识译名

Hardy–Littlewood 极大函数

harmonic series共识译名

调和级数

Heine–Borel theorem共识译名

Heine–Borel 定理

implicit function theorem共识译名

隐函数定理

infimum共识译名

下确界

interval共识译名

区间

Lebesgue point共识译名

Lebesgue 点

Lipschitz continuous function共识译名

Lipschitz 连续映射

Lp space共识译名

Lp 空间

l’Hôpital’s rule共识译名

l’Hôpital 法则

Markov’s inequality共识译名

Markov 不等式

monotone map共识译名

单调映射

n-th derivative共识译名

n 阶导数

open interval共识译名

开区间

partial sum共识译名

部分和

power series共识译名

幂级数

real number共识译名

实数

rising sun lemma共识译名

日升引理

series共识译名

级数

sine共识译名

正弦

sine function共识译名

正弦函数

Sobolev inequality共识译名

Sobolev 不等式

sophomore’s dream共识译名

二年级之梦

Stirling’s formula共识译名

Stirling 公式

Stone–Weierstraß theorem共识译名

Stone–Weierstraß 定理

supremum共识译名

上确界

Taylor’s theorem共识译名

Taylor 定理

测度论16

absolutely continuous共识译名

绝对连续

counting measure共识译名

计数测度

Hausdorff measure共识译名

Hausdorff 测度

indicator function共识译名

指示函数

left Haar measure共识译名

左 Haar 测度

left translation invariant共识译名

左平移不变

localizable measure共识译名

可局部化测度

measurable function共识译名

可测函数

measurable set共识译名

可测集

measurable space共识译名

可测空间

measure共识译名

测度

measure space共识译名

测度空间

product measure共识译名

乘积测度

Radon–Nikodym–Lebesgue theorem共识译名

Radon–Nikodym–Lebesgue 定理

Riesz representation theorem共识译名

Riesz 表示定理

vague convergence共识译名

淡收敛

积分论11

Bochner integral共识译名

Bochner 积分

Cauchy’s integral formula共识译名

Cauchy 积分公式

Cauchy’s integral theorem共识译名

Cauchy 积分定理

fundamental theorem of calculus共识译名

微积分基本定理

integral共识译名

积分

integral calculus共识译名

积分学

integral domain共识译名

整环

integral scheme共识译名

整概形

integration共识译名

积分

Lebesgue integral共识译名

勒贝格积分

Riemann integral共识译名

Riemann 积分

实变函数4

analytic共识译名

解析

intermediate value theorem共识译名

介值定理

mean value theorem共识译名

中值定理

upper semi-continuity共识译名

上半连续性

复分析11

argument共识译名

辐角

Beta function共识译名

Beta 函数

complex analysis共识译名

复分析

gamma function共识译名

Γ 函数

Jensen’s formula共识译名

Jensen 公式

Mittag-Leffler condition共识译名

Mittag-Leffler 条件

Mittag-Leffler system共识译名

Mittag-Leffler 系

open mapping theorem共识译名

开映射定理

Picard’s little theorem共识译名

Picard 小定理

power series共识译名

幂级数

subharmonic function共识译名

次调和函数

单复变16

analytic共识译名

解析

argument共识译名

辐角

conjugate共识译名

共轭

Euler’s identity共识译名

Euler 恒等式

holomorphic function共识译名

全纯函数

hypergeometric function共识译名

超几何函数

identity theorem共识译名

恒等定理

imaginary part共识译名

虚部

maximum modulus principle共识译名

最大模原理

modulus共识译名

模、模长

Picard’s great theorem共识译名

Picard 大定理

Picard’s little theorem共识译名

Picard 小定理

principal argument共识译名

主辐角

real part共识译名

实部

residue theorem共识译名

留数定理

Rouché’s theorem共识译名

Rouché 定理

多复变3

Stein manifold共识译名

Stein 流形

Stein space共识译名

Stein 空间

strongly positive forms共识译名

强正形式

泛函分析13

compact operator共识译名

紧算子

complete space共识译名

完备空间

condensed mathematics共识译名

凝聚态数学

distribution共识译名

分布

dual共识译名

对偶

functional analysis共识译名

泛函分析

linear functional共识译名

线性泛函

nuclear共识译名

核

open mapping theorem共识译名

开映射定理

Sobolev space共识译名

Sobolev 空间

spectrum共识译名

谱

Stone–Weierstraß theorem共识译名

Stone–Weierstraß 定理

uniform boundedness principle共识译名

共鸣定理

Banach 空间12

Banach algebra共识译名

Banach 代数

Banach fixed point theorem共识译名

Banach 不动点定理

Banach space共识译名

巴拿赫空间

Banach–Alaoglu theorem共识译名

Banach–Alaoglu 定理

Banach–Tarski theorem共识译名

Banach–Tarski 定理

complemented subspace共识译名

可补子空间

Hahn–Banach theorem共识译名

Hahn–Banach 定理

hyperplane separation theorem共识译名

凸集分离定理

norm共识译名

范数

normed共识译名

赋范

operator共识译名

算子

reflexive Banach space共识译名

自反 Banach 空间

Hilbert 空间6

Hilbert space共识译名

希尔伯特空间

inner product共识译名

内积

inner product space共识译名

内积空间

inner product, scaler product共识译名

内积

pre-Hilbert space共识译名

预 Hilbert 空间

Riesz representation theorem共识译名

Riesz 表示定理

算子理论7

Atiyah–Singer index theorem共识译名

Atiyah–Singer 指标定理

compact operator共识译名

紧算子

index共识译名

指数

infinitesimal generator共识译名

无穷小生成元

linear operator共识译名

线性算子

projection operator共识译名

投影算子

trace-class morphism共识译名

迹类态射

调和分析5

harmonic function共识译名

调和函数

Peter–Weyl theorem共识译名

Peter–Weyl 定理

space of homogeneous type共识译名

各向同性空间

subharmonic function共识译名

次调和函数

Weyl’s criterion共识译名

Weyl 判别法

Fourier 分析6

Fourier coefficient共识译名

Fourier 系数

Fourier series共识译名

Fourier 级数

Fourier transform共识译名

傅里叶变换

Gelfand transformation共识译名

Gelfand 变换

Laplace–Stieltjes transform共识译名

Laplace–Stieltjes 变换

Tate’s thesis共识译名

Tate 论题

微分方程3

existence and uniqueness theorem for solutions to ordinary differential equations共识译名

常微分方程解的存在唯一性定理

ordinary differential equation (ODE)共识译名

常微分方程

partial differential equation (PDE)共识译名

偏微分方程

常微分方程2

existence and uniqueness theorem for solutions to ordinary differential equations共识译名

常微分方程解的存在唯一性定理

ordinary differential equation (ODE)共识译名

常微分方程

偏微分方程3

partial differential equation (PDE)共识译名

偏微分方程

Singular Support共识译名

奇异支集

Sobolev space共识译名

Sobolev 空间

动力系统5

Coppel’s theorem共识译名

Coppel 定理

flow共识译名

流

Sharkovskii ordering共识译名

Sharkovskii 序

track共识译名

追踪

van der Corput’s difference theorem共识译名

van der Corput 差分定理

变分法6

(algebraic) form共识译名

(代数) 形式

(positively) homogeneous function共识译名

(正) 齐次函数

absolute homogeneous function共识译名

绝对齐次函数

Euler–Lagrange 方程共识译名

Euler–Lagrange 方程

Euler’s homogeneous function theorem共识译名

Euler 齐次函数定理

homogeneous polynomial共识译名

齐次多项式

分布与广义函数13

Bernoulli distribution共识译名

两点分布

binomial distribution共识译名

二项分布

convergence in distribution共识译名

依分布收敛

cumulative distribution function (CDF)共识译名

累积分布函数

degenerate distribution共识译名

退化分布

distribution共识译名

分布

hypergeometric distribution共识译名

超几何分布

involutive distribution共识译名

对合分布

multinomial distribution共识译名

多项分布

multivariate uniform distribution共识译名

多维均匀分布

normal distribution共识译名

正态分布

probability distribution共识译名

概率分布

uniform distribution共识译名

均匀分布

其他分析2

gamma function共识译名

Γ 函数

upper semi-continuous regularization共识译名

上半连续正规化

数论1

number theory共识译名

数论

初等数论32

algebraic integer共识译名

代数整数

Bertrand’s postulate共识译名

Bertrand 假设

Catalan number共识译名

Catalan 数

congruence共识译名

同余

Dirichlet’s theorem on arithmetic progressions共识译名

Dirichlet 素数定理

divisibility共识译名

整除

division共识译名

除法

elementary number theory共识译名

初等数论

Euler’s totient function共识译名

Euler 函数

even共识译名

偶

even number共识译名

偶数

factor共识译名

因数

fraction共识译名

分式

free topos共识译名

自由意象

Gaußian integer共识译名

Gauß 整数

integer共识译名

整数

Jacobi triple product共识译名

Jacobi 三重积

modality共识译名

模态

modulus共识译名

模、模长

multiple共识译名

倍数

Möbius function共识译名

Möbius 函数

odd共识译名

奇

odd number共识译名

奇数

Peano axioms共识译名

Peano 公理

perfect number共识译名

完美数

prime number共识译名

素数

prime number theorem共识译名

素数定理

quadratic reciprocity law共识译名

二次互反律

Sylver coinage共识译名

西尔维钱币

the sum-of-squares problem共识译名

平方和问题

to be divisible by共识译名

被···整除

to divide共识译名

整除

代数数论20

algebraic number theory共识译名

代数数论

conductor共识译名

导子

Dedekind domain共识译名

Dedekind 整环

Dirichlet character共识译名

Dirichlet 特征

finite extension共识译名

有限扩张

ghost component共识译名

幽灵分量

Henselization共识译名

Hensel 化

Henselize共识译名

Hensel 化

Hilbert symbol共识译名

Hilbert 符号

Kronecker delta共识译名

Kronecker δ 记号

Kronecker’s approximation theorem共识译名

Kronecker 逼近定理

Kronecker’s Jugendtraum共识译名

Kronecker 青春之梦

Lubin–Tate theory共识译名

Lubin–Tate 理论

Milnor K-theory共识译名

Milnor K 理论

primitive character共识译名

本原特征

restricted direct product共识译名

限制乘积

Stark conjectures共识译名

Stark 猜想

Tate’s thesis共识译名

Tate 论题

unramified homomorphism共识译名

非分歧同态

valuation共识译名

赋值

数域2

algebraic number共识译名

代数数

function field analogy共识译名

函数域类比

局部域2

local field共识译名

局部域

restricted direct product共识译名

限制乘积

类域论2

class field theory共识译名

类域论

local class field theory共识译名

局部类域论

p-进数论8

adic spectrum共识译名

进制谱

Newton polygon共识译名

Newton 多边形

p-adic complex number共识译名

p 进复数

p-adic number共识译名

p 进数

p-adic period ring共识译名

p 进周期环

prism共识译名

棱镜

tilt共识译名

斜置

untilt共识译名

正置

解析数论11

analytic number theory共识译名

解析数论

Dirichlet series共识译名

Dirichlet 级数

Euler–Mascheroni constant共识译名

Euler–Mascheroni 常数

Hardy–Littlewood maximal function共识译名

Hardy–Littlewood 极大函数

Lindemann–Weierstraß theorem共识译名

Lindemann–Weierstraß 定理

prime number theorem共识译名

素数定理

primitive character共识译名

本原特征

sieve共识译名

筛

three-gap theorem共识译名

三间隙定理

Weyl’s criterion共识译名

Weyl 判别法

zeta function共识译名

ζ 函数

算术几何15

arithmetic共识译名

算术

arithmetic–geometric mean共识译名

算术–几何平均

cd-structure共识译名

cd 结构

Chevalley–Warning theorem共识译名

Chevalley–Warning 定理

fundamental theorem of arithmetic共识译名

算术基本定理

isogeny共识译名

同源

Jacobian variety共识译名

Jacobi 簇

Lang’s theorem共识译名

Lang 定理

Mazur’s torsion theorem共识译名

Mazur 挠定理

motive共识译名

母题

pure motive共识译名

纯母题

shtuka共识译名

块

Weil conjectures共识译名

Weil 猜想

Weil restriction共识译名

Weil 限制

Weil ζ function共识译名

Weil ζ 函数

椭圆曲线2

isogeny共识译名

同源

modularity theorem共识译名

模性定理

Abel 簇2

abelian variety共识译名

阿贝尔簇

exceptional isogeny共识译名

例外同源

模形式与自守形式7

automorphic form共识译名

自守形式

cusp form共识译名

尖点形式

modular form共识译名

模形式

modular function共识译名

模函数

modular group共识译名

模群

modularity theorem共识译名

模性定理

weight共识译名

权

L-函数6

Artin L-function共识译名

Artin L 函数

Dirichlet L function共识译名

Dirichlet L 函数

Hecke L-function共识译名

Hecke L 函数

L-function共识译名

L 函数

Tate’s thesis共识译名

Tate 论题

zeta function共识译名

ζ 函数

Diophantine 方程2

Pell’s equation共识译名

Pell 方程

Siegel’s theorem共识译名

Siegel 定理

超越数论7

Kronecker’s approximation theorem共识译名

Kronecker 逼近定理

Lindemann–Weierstraß theorem共识译名

Lindemann–Weierstraß 定理

Schneider–Lang theorem共识译名

Schneider–Lang 定理

transcendence basis共识译名

超越基

transcendental degree共识译名

超越次数

transcendental extension共识译名

超越扩张

transcendental number共识译名

超越数

Iwasawa 理论1

Iwasawa main conjecture共识译名

Iwasawa 主猜想

其他数论3

geometry of numbers共识译名

数的几何

quadratic form共识译名

二次型

unimodular lattice共识译名

幺模格

数理逻辑与数学基础2

Hilbert’s problems共识译名

Hilbert 问题

mathematics共识译名

数学

数理逻辑24

!-able共识译名

!-容许

affine logic共识译名

仿射逻辑

and共识译名

与

antecedent共识译名

前因

assembly共识译名

汇编

first-order language共识译名

一阶语言

formal language共识译名

形式语言

logic共识译名

逻辑学

logical connective共识译名

逻辑连接词

mathematical logic共识译名

数理逻辑

negation共识译名

非

not共识译名

非

Peano axioms共识译名

Peano 公理

principle of explosion共识译名

爆炸律

propositional logic共识译名

命题逻辑

quantifier共识译名

量词

quantifier elimination共识译名

量词消去

rewriting共识译名

重写

subformula共识译名

子公式

substructural logic共识译名

亚结构逻辑

Tarski’s undefinability theorem共识译名

Tarski 不可定义定理

term共识译名

项

truth value共识译名

真值

unrestricted grammar共识译名

无限制文法

一阶逻辑20

and共识译名

与

conjunction共识译名

与

disjunction共识译名

或

false共识译名

假

first-order language共识译名

一阶语言

formula共识译名

公式

implication共识译名

蕴涵

imply共识译名

蕴涵

logical connective共识译名

逻辑连接词

method of affirmation共识译名

肯定前件

or共识译名

或

predicate共识译名

谓词

predicate logic共识译名

谓词逻辑

sentence共识译名

语句

subformula共识译名

子公式

substitution共识译名

替换

term共识译名

项

true共识译名

真

variable共识译名

变量

well-formed共识译名

良形式

模型论9

Ax–Grothendieck theorem共识译名

Ax–Grothendieck 定理

Boolean-valued model共识译名

Boole 值模型

essentially algebraic theory共识译名

本质代数理论

Lefschetz’s principle共识译名

Lefschetz 原理

saturated共识译名

饱和

Tarski–Vaught test, criterion共识译名

Tarski–Vaught 判别法

Tarski’s undefinability theorem共识译名

Tarski 不可定义定理

vocabulary共识译名

字母表

Łoś–Vaught test共识译名

Łoś–Vaught 判别法

证明论35

A fuse B共识译名

A 接 B

A loli B共识译名

A 线性蕴涵 B

A twist B共识译名

A 反接 B

A under B共识译名

A 左蕴涵 B

admissible rule共识译名

可容许规则

affine logic共识译名

仿射逻辑

B over A共识译名

A 右蕴涵 B

canonicity共识译名

典范性

contraction rule共识译名

收缩规则

cut elimination共识译名

切消除

cut rule共识译名

切规则

elimination rule共识译名

消去规则

external choice共识译名

外选择

Gentzen’s Hauptsatz共识译名

Gentzen 主要定理

Gödel’s incompleteness theorems共识译名

Gödel 不完备性定理

induction共识译名

归纳法

inference rule共识译名

推导规则

internal choice共识译名

内选择

intuitionistic sequent共识译名

直觉主义相继式

linear logic共识译名

线性逻辑

logical harmony共识译名

逻辑和谐

natural deduction共识译名

自然演绎

normal form共识译名

正规形式

order logic共识译名

顺序逻辑

parametricity共识译名

参数性

principle of explosion共识译名

爆炸律

realizability共识译名

具现

realizer共识译名

具现子

semi-axiomatic sequent calculus (SAX)共识译名

半公理化相继式演算

sequent共识译名

相继式

sequent calculus共识译名

相继式演算

snip rule共识译名

剪规则

structural logic共识译名

结构逻辑

succedent共识译名

后果

weakening rule共识译名

弱化规则

递归论6

context free grammar (CFG)共识译名

语境无关文法

decidable共识译名

可判定的

formal grammar共识译名

形式文法

recognizable共识译名

识别

reduction共识译名

约简

terminal symbol共识译名

终结符

集合论118

accessible共识译名

可达

Adjunctive set theory共识译名

内附集合论

aleph number共识译名

ℵ 数

axiom of choice共识译名

选择公理

axiom of constructibility共识译名

可构造公理

axiom of foundation共识译名

良基公理

axiom of regularity共识译名

正则公理

belong to共识译名

属于

bijection共识译名

双射

bijective共识译名

双

binary relation共识译名

二元关系

Boolean-valued model共识译名

Boole 值模型

Boolean-valued von Neumann universe共识译名

Boole 值 von Neumann 宇宙

Cantor–Schröder–Bernstein theorem共识译名

Cantor–Schröder–Bernstein 定理

Cantor’s theorem共识译名

Cantor 定理

cardinal number共识译名

基数

cardinality共识译名

基数

chain共识译名

链

class共识译名

类

cofinal class共识译名

共尾类

cofinality共识译名

共尾类

complement共识译名

补集

continuum hypothesis共识译名

连续统假设

countable set共识译名

可数集

difference共识译名

差

directed set共识译名

正向集

disjoint union共识译名

无交并

element共识译名

元素

empty set共识译名

空集

equivalence class共识译名

等价类

equivalence relation共识译名

等价关系

family共识译名

族

filter共识译名

滤子

filtered union共识译名

滤并集

forcing共识译名

力迫法

Fording共识译名

Ford 化

generalized continuum hypothesis共识译名

强连续统假设

greatest element共识译名

最大元

Grothendieck universe共识译名

Grothendieck 宇宙

Gödel’s constructible hierarchy共识译名

Gödel 可构造层级

Gödel’s constructible universe共识译名

Gödel 可构造宇宙

inaccessible cardinal共识译名

不可达基数

infimum共识译名

下确界

infinite set共识译名

无限集

infinity共识译名

无穷

inhabited set共识译名

有元集

injection共识译名

单射

injective共识译名

单

intersection共识译名

交

join共识译名

并

join-semilattice共识译名

并半格

least element共识译名

最小元

linear order共识译名

线性序

locale共识译名

位象

lower bound共识译名

下界

Lévy hierarchy共识译名

Lévy 层级

map共识译名

映射

maximal element共识译名

极大元

meet共识译名

交

minimal element共识译名

极小元

n-ary relation共识译名

n 元关系

n-tuple共识译名

n 元组

natural number共识译名

自然数

one-to-one correspondence共识译名

一一对应

order theory共识译名

序论

ordered pair共识译名

有序对

ordinal number共识译名

序数

partial equivalence relation共识译名

偏等关系

partial equivalence relation (PER)共识译名

偏等关系

partition共识译名

划分

power set共识译名

幂集

presentable共识译名

可表现

product set共识译名

积集

proper class共识译名

真类

proper subset共识译名

真子集

proper superset共识译名

真超集

propositional extensionality共识译名

命题外延性

reflection principle共识译名

反映原理

reflexive relation共识译名

自反关系

regular cardinal number共识译名

正则基数

relation共识译名

关系

Russell’s paradox共识译名

Russell 悖论

set共识译名

集合

set difference共识译名

差集

set theory共识译名

集合论

singleton共识译名

单点集

singular cardinal hypothesis (SCH)共识译名

奇异基数假设

singular cardinal number共识译名

奇异基数

source; domain共识译名

出发域; 定义域

spectral space共识译名

谱空间

strictly monotone map共识译名

严格单调映射

strong limit cardinal共识译名

强极限基数

subset共识译名

子集

sum共识译名

和

superset共识译名

超集

supremum共识译名

上确界

surjection共识译名

满射

surjective共识译名

满

surreal number共识译名

超现实数

Suslin tree共识译名

Suslin 树

target; range; codomain共识译名

到达域

totally ordered set, toset共识译名

全序集

transfinite induction共识译名

超限归纳法

transitive closure共识译名

传递闭包

transitive set共识译名

传递集合

tuple共识译名

多元组

ultrafilter共识译名

超滤

uncountable set共识译名

不可数集

union共识译名

并

universe of propositions共识译名

命题宇宙

upper bound共识译名

上界

von Neumann hierarchy共识译名

von Neumann 层级

von Neumann universe共识译名

von Neumann 宇宙

well-founded共识译名

良基

well-founded relation共识译名

良基关系

Whitehead problem共识译名

Whitehead 问题

Zermelo–Fraenkel set theory共识译名

Zermelo–Fraenkel 集合论

Zorn’s lemma共识译名

Zorn 引理

范畴论与基础258

(∞,1)-category共识译名

(∞,1)-范畴

(∞,1)-category of chain complexes共识译名

链复形 (∞,1)-范畴

(∞,1)-cocompletion共识译名

(∞,1)-余完备化

(∞,1)-limit共识译名

(∞,1)-极限

(∞,1)-terminal object共识译名

(∞,1)-终对象

(∞,1)-topos共识译名

(∞,1)-意象

2-category共识译名

2-范畴

2-category of kernels共识译名

核 2-范畴

2-functor共识译名

2-函子

6-functor formalism共识译名

六函子理论

abelian category共识译名

阿贝尔范畴

absolute colimit共识译名

绝对余极限

accessible category共识译名

可达范畴

accessible functor共识译名

可达函子

active morphism共识译名

活性态射

acyclic object共识译名

零调对象

additive category共识译名

加性范畴

additive functor共识译名

加性函子

adequate triple共识译名

饱和三元组

adjoint共识译名

伴随

adjoint functor theorem共识译名

伴随函子定理

admissibility structure共识译名

容许结构

anima, plural: animae共识译名

生象

arrow category共识译名

箭头范畴

Baire category theorem共识译名

Baire 纲定理

bang modality共识译名

! 模态

Bousfield–Kuhn functor共识译名

Bousfield–Kuhn 函子

braided monoidal category共识译名

辫幺半范畴

Brown representability theorem共识译名

Brown 可表性定理

Calkin category共识译名

Calkin 范畴

call-by-push-value共识译名

伴随求值

cartesian closed category共识译名

积闭范畴

cartesian logic共识译名

Descartes 逻辑

cartesian monoidal category共识译名

积幺半范畴

Cartesian product共识译名

Descartes 积

Cartesian space共识译名

Descartes 空间

cartesian square共识译名

Descartes 方块

categorical homotopy theory共识译名

范畴同伦论

categorical semantics共识译名

范畴语义

categorification共识译名

范畴化

category共识译名

范畴

category O共识译名

范畴 O

category of categories共识译名

范畴的范畴

category of sets共识译名

集合范畴

category of spans共识译名

伸展范畴

category theory共识译名

范畴论

central limit theorem共识译名

中心极限定理

closed monoidal category共识译名

闭幺半范畴

cocartesian square共识译名

余 Descartes 方块

cofinal共识译名

共尾

coherent object共识译名

凝聚对象

coherent topos共识译名

凝聚意象

cohomologically smooth共识译名

上同调光滑

coinitial共识译名

共首

colimit共识译名

余极限

coloured operad共识译名

有色算畴

comma category共识译名

逗号范畴

commutative algebra object共识译名

交换代数对象

compactly assembled category共识译名

紧聚集范畴

compactly closed共识译名

紧闭

compactly generated共识译名

紧生成

compactly generated category共识译名

紧生成范畴

completion共识译名

完备化

comprehension category共识译名

概括范畴

concrete category共识译名

具体范畴

congruence共识译名

同余

connective共识译名

连合

contextuality共识译名

语境性

continuous Calkin category共识译名

连续 Calkin 范畴

contravariant functor共识译名

反变函子

corporeal object共识译名

纹素

covariant functor共识译名

协变函子

covering sieve共识译名

覆盖筛

Deligne–Lurie completeness theorem共识译名

Deligne–Lurie 完备性定理

democracy共识译名

民主性

dereliction共识译名

丢弃

derived (∞,1)-category共识译名

导出 (∞,1)-范畴

derived category共识译名

导出范畴

derived functor共识译名

导出函子

descent共识译名

下降

descent data共识译名

下降信息

dg-category; differential graded category共识译名

微分分次范畴

display map共识译名

形式丛

distinguished triangle共识译名

正合三角

double category共识译名

双范畴

effective topos共识译名

有效意象

elementary topos共识译名

初等意象

enriched (∞,1)-category共识译名

充实 (∞,1)-范畴

enriched category共识译名

充实范畴

enriched precategory共识译名

充实预范畴

En operad共识译名

En 算畴

equifibred natural transformation共识译名

等纤维自然变换

equivalence of categories共识译名

范畴等价

equivalent共识译名

等价

essentially small category共识译名

本质小范畴

essentially surjective functor共识译名

本质满函子

exact共识译名

正合

exceptional morphism共识译名

反常态射

exceptional pullback共识译名

反常拉回

exceptional pushforward共识译名

反常前推

exponential modality共识译名

指数模态

extensive共识译名

广延

F-nerve共识译名

F-脉

f-prim共识译名

f-紧拘

F-realization共识译名

F-实现

f-suave共识译名

f-温滑

fibre product category共识译名

纤维积范畴

fibre(d) product共识译名

纤维积

fibred category共识译名

纤维范畴

filtered (∞,1)-colimit共识译名

滤 (∞,1)-余极限

filtered category共识译名

滤范畴

filtered colimit共识译名

滤余极限

final object共识译名

终对象

forgetful functor共识译名

遗忘函子

foundamental ∞-groupoid共识译名

基本 ∞-群胚

fractured topos共识译名

纹路意象

free topos共识译名

自由意象

full functor共识译名

全函子

full subcategory共识译名

全子范畴

fully faithful functor共识译名

全忠实函子

functor共识译名

函子

functor category共识译名

函子范畴

functorial共识译名

函子性

functoriality共识译名

函子性

geometric setup共识译名

几何设定

geometric site共识译名

几何景

geometric surjection共识译名

几何满射

Grothendieck abelian category共识译名

Grothendieck Abel 范畴

group representation category共识译名

群表示范畴

half-adjoint equivalence共识译名

半伴随等价

heart共识译名

心

higher category theory共识译名

高阶范畴论

Hom functor共识译名

态射函子

homotopy共识译名

同伦

homotopy category共识译名

同伦范畴

homotopy category of chain complexes共识译名

链复形同伦范畴

homotopy equivalence共识译名

同伦等价

homotopy type共识译名

同伦型

horizontal categorification共识译名

横向范畴化

hypercompletion共识译名

超完备化

idempotent complete (∞,1)-category共识译名

幂等完备 (∞,1)-范畴

identity functor共识译名

恒同函子

image共识译名

像

indexed category共识译名

范畴族

inert morphism共识译名

惰性态射

infinity category共识译名

无穷范畴

initial object共识译名

始对象

initiality conjecture共识译名

始模型猜想

internal (∞,1)-category共识译名

内 (∞,1)-范畴

internal category共识译名

内群胚

internal functor共识译名

内函子

internal Hom共识译名

幂函子

isomorphism of categories共识译名

范畴同构

Kan extension共识译名

Kan 扩张

Kleisli category共识译名

Kleisli 范畴

lax symmetric monoidal functor共识译名

左松对称幺半函子

left exact共识译名

左正合

limit共识译名

极限

little cubes operad共识译名

小方体算畴

little disks operad共识译名

小圆盘算畴

local morphism共识译名

局部态射

localization共识译名

局部化

localize共识译名

局部化

locally cartesian closed category (LCCC)共识译名

积闭范畴

locally constantly fibred category共识译名

局部常纤维范畴

modality共识译名

模态

model category共识译名

模型范畴

model structure共识译名

模型结构

monad共识译名

单子

monadic共识译名

单子性

monoid共识译名

幺半群

monoidal (∞,1)-category共识译名

幺半 (∞,1)-范畴

monoidal category共识译名

幺半范畴

monoidal functor共识译名

幺半函子

morphism共识译名

态射

multicategory共识译名

多元范畴

n-category共识译名

n-范畴

n-fold category共识译名

n 重范畴

natural共识译名

自然

natural transformation共识译名

自然变换

nerve共识译名

脉

non-connective algebraic K-theory共识译名

非连合代数 K 理论

object共识译名

对象

object of truth values共识译名

真值对象

of course modality共识译名

显然模态

operad共识译名

算畴

oplax symmetric monoidal functor共识译名

右松对称幺半函子

opposite category共识译名

反范畴

over category共识译名

俯范畴

p-cartesian morphism共识译名

p-拉回

path category共识译名

道路范畴

planar operad共识译名

平面算畴

pointed category共识译名

带点范畴

pop共识译名

出栈

preadditive category共识译名

预加性范畴

precategory共识译名

预范畴

presentable category共识译名

可表现范畴

product共识译名

积

product category共识译名

积范畴

pseudo abelian category共识译名

伪 Abel 范畴

pseudo-functor共识译名

伪函子

pullback共识译名

拉回

pullback formalisms共识译名

拉回理论

push共识译名

入栈

pushout共识译名

推出

pushout category共识译名

粘连范畴

quasi-category共识译名

拟范畴

quasi-compact共识译名

拟紧

quasi-separated共识译名

拟分离

quotient category共识译名

商范畴

representable functor共识译名

可表函子

right cancellative共识译名

右可消

right exact共识译名

右正合

ringed topos共识译名

环化意象

self-dual category共识译名

自反范畴

sheafy共识译名

层性

shriek modality共识译名

尖叫模态

sifted共识译名

筛

sifted (∞,1)-category共识译名

筛 (∞,1)-范畴

sifted (∞,1)-colimit共识译名

筛 (∞,1)-余极限

singularity category共识译名

奇点范畴

six-functor formalism共识译名

六函子理论

small category共识译名

小范畴

smash product共识译名

缩积

span共识译名

伸展

span category共识译名

伸展范畴

stable (∞,1)-category共识译名

稳定 (∞,1)-范畴

stack共识译名

叠

strong limit cardinal共识译名

强极限基数

subcategory共识译名

子范畴

subfunctor共识译名

子函子

subobject classifier共识译名

子对象分类子

suitable decomposition共识译名

合适的分解

symmetric monoidal (∞,1)-category共识译名

对称幺半 (∞,1)-范畴

symmetric monoidal category共识译名

对称幺半范畴

syntactic category共识译名

句法范畴

topos共识译名

意象

triangulated category共识译名

三角范畴

truncation共识译名

截断

twisted arrow category共识译名

扭箭头范畴

under category共识译名

仰范畴

univalent category共识译名

泛等范畴

universal element共识译名

万有元

universal property共识译名

万有性质

vertical categorification共识译名

纵向范畴化

Waldhausen category共识译名

Waldhausen 范畴

weak action共识译名

弱作用

weak p-cartesian morphism共识译名

p-弱拉回

weakly enriched (∞,1)-category共识译名

弱充实 (∞,1)-范畴

weakly extensive共识译名

弱广延

weighted colimit共识译名

加权余极限

wide subcategory共识译名

宽子范畴

Yoneda embedding共识译名

Yoneda 嵌入

Yoneda lemma共识译名

Yoneda 引理

κ-categorical共识译名

κ-定言

∞-category共识译名

∞-范畴

∞-groupoid共识译名

∞-群胚

∞-topos共识译名

∞-意象

类型论94

abstract type共识译名

抽象类型

associativity rule共识译名

结合规则

axiom of resizing共识译名

降级公理

bi-invertible equivalence共识译名

双可逆等价

bottom type共识译名

底类型

canonicity共识译名

典范性

capture-avoiding substitution共识译名

避免捕获的替换

coercion rules共识译名

转换规则

computation rule共识译名

计算规则

confluence共识译名

合流性

consistency共识译名

一致性

constructor共识译名

构造子

context共识译名

语境

contractible fiber equivalence共识译名

可缩纤维等价

coproduct type共识译名

余积类型

cubical type theory共识译名

立方类型论

cumulative共识译名

累积

currying共识译名

Curry 化

dependent sum共识译名

依值和

dependent type theory共识译名

依值类型论

disjoint union type共识译名

无交并类型

elementary object共识译名

初等对象

elimination rule共识译名

消去规则

eliminator共识译名

消去子

empty type共识译名

空类型

equivalence共识译名

等价

exchange rule共识译名

交换规则

exhaustive共识译名

穷竭

existential type共识译名

存在类型

extrinsic共识译名

外蕴

formation rule共识译名

形成规则

function extensionality共识译名

函数外延性

generalized algebraic data type共识译名

广义代数数据类型

gestalt共识译名

格式塔

half-adjoint equivalence共识译名

半伴随等价

heterogeneous equality共识译名

异质相等

higher inductive type共识译名

高阶归纳类型

homogeneous composition共识译名

复合

homotopy type共识译名

同伦型

homotopy type theory (HoTT)共识译名

同伦类型论

hypothetical judgment共识译名

假言判断

identity rule共识译名

恒同规则

identity type共识译名

相等类型

impredicativity共识译名

非直谓性

indexed type共识译名

指标类型

induction共识译名

归纳法

induction-recursion共识译名

归纳递归

inductive family共识译名

归纳族

inductive type共识译名

归纳类型

interval type共识译名

区间类型

intrinsic共识译名

内蕴

judgment共识译名

判断

Liskov substitution principle (LSP)共识译名

Liskov 替换原则

local membership relation共识译名

局部属于关系

Martin-Löf type theory (MLTT)共识译名

Martin-Löf 类型论

material subtype共识译名

质料子类型

n-truncation共识译名

n-截断类型

nominal type theory共识译名

记名类型论

normal form共识译名

正规形式

normalization共识译名

正规性

normalization by evaluation共识译名

语义正规性

object of truth values共识译名

真值对象

parametric polymorphism共识译名

参数多态

parametricity共识译名

参数性

partial equivalence relation共识译名

偏等关系

pattern matching共识译名

模式匹配

polymorphic type theory共识译名

多态类型论

product type共识译名

积类型

progress and preservation共识译名

可进性与保型性

propositional equality共识译名

命题相等

quasi-equivalence共识译名

拟等价

ramified type theory共识译名

分歧类型论

regularity共识译名

正则性

simple homotopy type共识译名

简单同伦型

simpler indexed types共识译名

简化归纳族

simply typed λ calculus共识译名

简单类型 λ 演算

solidify共识译名

固态化

string共识译名

字符串

structural rule共识译名

结构性规则

structural subtype共识译名

结构子类型

structural type theory共识译名

不记名类型论

subject reduction共识译名

类型不变性

subtype共识译名

子类型

top type共识译名

顶类型

type scheme共识译名

类型范式

type theory共识译名

类型论

uncurrying共识译名

去 Curry 化

unit type共识译名

单位类型

unityped λ calculus共识译名

单一类型 λ 演算

univalence axiom共识译名

泛等公理

universe共识译名

宇宙

universe hierarchy共识译名

宇宙层级

universe polymorphism共识译名

宇宙多态

λ-encoding共识译名

λ 编码

数学哲学3

logical harmony共识译名

逻辑和谐

philosophy of mathematics共识译名

数学哲学

predicativity共识译名

直谓性

概率与统计

概率论23

almost sure convergence共识译名

几乎必然收敛

almost surely converge共识译名

几乎必然收敛

central moment共识译名

中心矩

characteristic function共识译名

特征函数

conditional expectation共识译名

条件期望

conditional variance共识译名

条件方差

convergence of random variables共识译名

随机变量的收敛

expectation共识译名

期望

independent event共识译名

独立事件

indicator function共识译名

指示函数

law of large numbers共识译名

大数定律

law of the iterated logarithm共识译名

重对数律

moment共识译名

矩

origin moment, raw moment共识译名

原点矩

probability共识译名

概率

probability distribution共识译名

概率分布

probability space共识译名

概率空间

probability theory共识译名

概率论

random variable共识译名

随机变量

standardized moment共识译名

标准矩

strong law of large numbers共识译名

强大数定律

vague convergence共识译名

淡收敛

weak law of large numbers共识译名

弱大数定律

数理统计7

kurtosis共识译名

峰度

median共识译名

中位数

origin moment, raw moment共识译名

原点矩

quantile共识译名

分位数

skewness共识译名

偏度

standard deviation共识译名

标准差

standardized moment共识译名

标准矩

贝叶斯理论1

Bayes’ theorem共识译名

Bayes 定理

离散数学与组合

组合数学22

antichain共识译名

反链

bounded overlapping property共识译名

有界重叠性质

combinatorics共识译名

组合数学

configuration共识译名

格局

enumerative combinatorics共识译名

计数组合

expander complex共识译名

扩展复形

falling factorial共识译名

降阶乘

impartial number, nimber共识译名

无偏数

inclusion–exclusion principle共识译名

容斥原理

independent set共识译名

独立集

Leibniz harmonic triangle共识译名

Leibniz 三角

matroid共识译名

拟阵

multiset共识译名

多重集

partial combinatory algebra共识译名

部分组合代数

partition共识译名

划分

pattern共识译名

匹配子

pigeonhole principle共识译名

抽屉原理

refine共识译名

加细 (动词)

standard simplex共识译名

标准单形

surreal number共识译名

超现实数

Sylver coinage共识译名

西尔维钱币

umbral calculus共识译名

哑演算

枚举组合14

addition principle共识译名

加法原理

affine combination共识译名

仿射组合

binomial coefficient共识译名

二项式系数

Catalan number共识译名

Catalan 数

enumerative combinatorics共识译名

计数组合

Euler characteristic共识译名

欧拉示性数

falling factorial共识译名

降阶乘

inclusion–exclusion principle共识译名

容斥原理

Lagrange inversion formula共识译名

Lagrange 反函数公式

linear combination共识译名

线性组合

multiplication principle共识译名

乘法原理

Möbius function共识译名

Möbius 函数

Stirling number of the first kind共识译名

第一类 Stirling 数

Stirling’s formula共识译名

Stirling 公式

极值组合1

Ramsey number共识译名

Ramsey 数

代数组合1

umbral calculus共识译名

哑演算

几何组合1

Monsky’s theorem共识译名

Monsky 定理

图论35

Alon–Boppana bound共识译名

Alon–Boppana 界

alteration共识译名

变易

clique共识译名

团

closed graph theorem共识译名

闭图像定理

commutative diagram共识译名

交换图

dependency graph共识译名