The Categorical Unification of Foundations of Mathematics and of Quantum Physics, and its Applications to Categorical Duality in Machine Learning
| Project/Area Number |
15H06313
|
|---|
| Research Category |
Grant-in-Aid for Research Activity Start-up
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Foundations of mathematics/Applied mathematics
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2015-08-28 – 2017-03-31
|
| Project Status |
Completed (Fiscal Year 2016)
|
| Budget Amount *help |
¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2016: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 圏論的双対性 / 圏論的意味論 / 圏論的量子論 / 圏論的AI / 圏論的普遍論理 / 諸科学の圏論的基礎 / 圏論的統一科学 / 圏論の哲学 / 圏論的論理 / 量子基礎論 / 数学基礎論 / 非可換双対性 / 機械学習 / 再生核ヒルベルト空間 / 数理哲学 / スキーム論 / 非可換普遍代数 / 圏論的量子力学 |
|---|
| Outline of Final Research Achievements |
Our project is about the unification of mathematical and quantum foundations, and its applications to categorical duality in machine learning. Our result is nevertheless three-fold because "unification" has a double meaning. It is the unification of space conceptions in foundations of mathematics and of quantum theory (i.e., topos theory and categorial quantum theory); yet at the same time, it is the unification of (noncommutative) dualities in those two foundations. The first "unification" also implies the Lawverian unification of traditional quantum logic and categorical quantum mechanics. The remaining, third type of result is, of course, categorical duality in (the kernel method of) machine learning (or the duality of artificial intelligence). Overall, the project may be considered a stepping stone to what we call "categorical unified science" or "pluralistic unified science", which is the ultimate goal of "categorical logical positivism" as discussed in our recent Synthese paper.
|
Report
(3 results)
Research Products
(11 results)
