中英文对照 —— 集合（数学）、代数（抽象代数）、拓扑

1. quantifier：量词

• existential quantifier：存在量词
  
  • 存在量词引入规则：introduction rule of an existential quantifier
  • 存在量词消除规则：elimination rule of an existential quantifier
• universal/generality quantifier：全称量词

2. 代数

• category：范畴，category theory：范畴论；
• morphism：n. [数] 态射；形态主义

3. 拓扑

• strip：n. 带；条状；脱衣舞
  
  • Möbius strips