Lawvere theory

表記のゆれも考慮すると、用語表記は爆発する、という話。

• https://ncatlab.org/nlab/show/Lawvere+theory

考えられる表記は、まず、

• {代数的 | ローヴェル}{理論 | セオリー}

「ローヴェルの代数的セオリー」もある。「的」の有無もあるから、

• {代数(的)? | ローヴェル | ローヴェル(の)?代数(的)?}{理論 | セオリー}

ローヴェルをLawvereと書くときもあるから、

• {代数(的)? | ローヴェル | Lawvere | {ローヴェル | Lawvere}(の)?代数(的)?}{理論 | セオリー}

「セオリー」が混乱を招くのでローヴェル圏と呼ぶ人もいるから、

• {代数(的)? | ローヴェル | Lawvere | {ローヴェル | Lawvere}(の)?代数(的)?}{理論 | セオリー | 圏}

「セオリー圏」という言い方もあるだろうから、

• {代数(的)? | ローヴェル | Lawvere | {ローヴェル | Lawvere}(の)?代数(的)?}{理論 | セオリー | {理論 | セオリー}?圏}

展開すると：

1. 代数的理論
2. 代数的セオリー
3. 代数的理論圏
4. 代数的セオリー圏
5. 代数的圏
6. 代数理論
7. 代数セオリー
8. 代数理論圏
9. 代数セオリー圏
10. 代数圏
11. ローヴェル理論
12. ローヴェルセオリー
13. ローヴェル理論圏
14. ローヴェルセオリー圏
15. ローヴェル圏
16. Lawvere理論
17. Lawvereセオリー
18. Lawvere理論圏
19. Lawvereセオリー圏
20. Lawvere圏
21. ローヴェルの代数的理論
22. ローヴェルの代数的セオリー
23. ローヴェルの代数的理論圏
24. ローヴェルの代数的セオリー圏
25. ローヴェルの代数的圏
26. ローヴェルの代数理論
27. ローヴェルの代数セオリー
28. ローヴェルの代数理論圏
29. ローヴェルの代数セオリー圏
30. ローヴェルの代数圏
31. ローヴェル代数的理論
32. ローヴェル代数的セオリー
33. ローヴェル代数的理論圏
34. ローヴェル代数的セオリー圏
35. ローヴェル代数的圏
36. ローヴェル代数理論
37. ローヴェル代数セオリー
38. ローヴェル代数理論圏
39. ローヴェル代数セオリー圏
40. ローヴェル代数圏
41. Lawvereの代数的理論
42. Lawvereの代数的セオリー
43. Lawvereの代数的理論圏
44. Lawvereの代数的セオリー圏
45. Lawvereの代数的圏
46. Lawvereの代数理論
47. Lawvereの代数セオリー
48. Lawvereの代数理論圏
49. Lawvereの代数セオリー圏
50. Lawvereの代数圏
51. Lawvere代数的理論
52. Lawvere代数的セオリー
53. Lawvere代数的理論圏
54. Lawvere代数的セオリー圏
55. Lawvere代数的圏
56. Lawvere代数理論
57. Lawvere代数セオリー
58. Lawvere代数理論圏
59. Lawvere代数セオリー圏
60. Lawvere代数圏

カタカナ表記のバリエーション（ローヴェア、ロウヴィエールとか）、音引き、ナカグロなどのゆれも考えると、さらに増える。

Lawvere’s algebraic theories は実例あり。

• https://www.irif.fr/~mellies/papers/bmw-arities.pdf