Similar to 可換図式

• 

  PCP (計算複雑性理論)

  Probabilistically checkable proof
  
• 

  5項補題

  Five lemma
  
• 

  9項補題

  Nine lemma
  
• 

  AB5 圏

  AB5 category
  
• 

  F余代数

  F-coalgebra
  
• 

  F代数

  F-algebra
  
• 

  Invariant basis number

  Invariant basis number
  
• 

  Tor関手

  Tor functor
  
• 

  アブストラクト・ナンセンス

  Abstract nonsense
  
• 

  完全系列

  Exact sequence
  
• 

  0

  0
  
• 

  1

  1
  ▲1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  ▼-1 trends

  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  12345679

  
• 

  証明

  
• 

  証明 (数学)

  Mathematical proof
  
• 

  対偶論法

  Proof by contrapositive
  
• 

  大数の法則

  Law of large numbers
  
• 

  背理法

  Proof by contradiction
  
• 

  ∎

  
• 

  墓石記号

  Tombstone (typography)