theoryとalgebraとmonadとか

• defintion and example - 檜山正幸のキマイラ飼育記 メモ編
• 同義語・多義語の例 - 檜山正幸のキマイラ飼育記 メモ編
• 指標とモデルと意味論 - 檜山正幸のキマイラ飼育記 メモ編
• 代数的定義形式とアンビエント構造 - 檜山正幸のキマイラ飼育記 メモ編

決める側：

1. (algebraic)? definition (form)?
2. theory -- {algebraic | Lawvere | equational}
3. signature
4. specification (module)?
5. (type)? class
6. interface
7. concept
8. schema
9. structure definition

そういうモノの側：

1. example
2. model
3. algebra
4. instance
5. implementation
6. structure
7. class

リントン〈Linton〉の定理によれば：

• one-sorted equational (algebraic)? theory = Lawvere (algebraic)? theory = finitary monad

よって、指標と圏とモナドが同じになってしまう。