术语 · Terminology

术语翻译表

每条记录都是一个具体数学义项。共识译名记录现实中的稳定译法；待定译名的投票长期持续，不会自动产生共识。

术语表目前仍在施工中，共识译名正在逐步确立，请谨慎参考。

下载稳定术语表下载完整术语表提交新术语

代数拓扑

分类对象是义项而非英文词形，查看分类说明

共 109 个义项

31 Ehresmann’s fibration theorem（代数拓扑） Ehresmann 纤维化定理

32 Euler characteristic（代数拓扑）欧拉示性数

33 excision（代数拓扑）切除

34 fibration（代数拓扑）纤维化

35 Freudenthal suspension theorem（代数拓扑） Freudenthal 纬悬定理

36 fundamental class（代数拓扑）基本类

37 G-anima（代数拓扑） G-生象

38 G-set（代数拓扑） G-集合

39 genuine equivariant spectrum（代数拓扑）真等变谱

40 genuine G-spectrum（代数拓扑）真 G-谱

41 good pair（代数拓扑）好空间对

42 group completion theorem（代数拓扑）群化定理

43 hairy ball theorem（代数拓扑）毛球定理

44 higher inductive type（代数拓扑）高阶归纳类型

45 Hilton–Milnor splitting（代数拓扑） Hilton–Milnor 分裂

46 homology（代数拓扑）同调

47 homotopy（代数拓扑）同伦

48 homotopy cofibre（代数拓扑）同伦余纤维

49 homotopy equivalence（代数拓扑）同伦等价

50 homotopy equivalent（代数拓扑）同伦等价

51 homotopy extension property(HEP)（代数拓扑）同伦延拓性质

52 homotopy group（代数拓扑）同伦群

53 homotopy type（代数拓扑）同伦型

54 homotopy type theory (HoTT)（代数拓扑）同伦类型论

55 Hurewicz theorem（代数拓扑） Hurewicz 定理

56 James splitting（代数拓扑） James 分裂

57 Kan complex（代数拓扑） Kan 复形

58 Leray–Serre spectral sequence（代数拓扑） Leray–Serre 谱序列

59 loop space（代数拓扑）环路空间

60 mapping cylinder（代数拓扑）映射柱