Similar to CPL_(圏論プログラミング言語)

• 

  射 (圏論)

  Morphism
  
• 

  図式 (圏論)

  Diagram (category theory)
  
• 

  前加法圏

  Preadditive category
  
• 

  双対 (圏論)

  Dual (category theory)
  
• 

  束 (位相幾何学)

  Bundle (mathematics)
  
• 

  点付き空間

  Pointed space
  
• 

  点付き集合

  Pointed set
  
• 

  バラエティ (普遍代数学)

  Variety (universal algebra)
  
• 

  普遍性

  Universal property
  
• 

  普遍代数学

  Universal algebra
  
• 

  豊穣圏

  Enriched category
  
• 

  モナド (プログラミング)

  Monad (functional programming)
  
• 

  モナド (圏論)

  Monad (category theory)
  
• 

  余代数

  Coalgebra
  
• 

  米田の補題

  Yoneda lemma
  
• 

  ウィリアム・ローヴェア

  William Lawvere
  
• 

  プログラミング言語

  Programming language
  ▼-1 trends

  
• 

  プログラミング言語一覧

  List of programming languages
  
• 

  プログラミング言語年表

  History of programming languages
  
• 

  プログラミング言語の比較

  Comparison of programming languages
  
• 

  A-0 System

  A-0 System
  
• 

  ABC (プログラミング言語)

  ABC (programming language)
  
• 

  ALGOL

  ALGOL
  
• 

  Alloy (仕様記述言語)

  
• 

  Altair BASIC

  Altair BASIC
  
• 

  APL

  APL (programming language)
  
• 

  APT (プログラミング言語)

  APT (programming language)
  
• 

  Asymptote

  Asymptote (vector graphics language)