| Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2017: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2016: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2015: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| Outline of Final Research Achievements |
This research investigated interactions between algebraic and topological structure on a class of topological spaces called quasi-Polish spaces (i.e., countably based completely quasi-metrizable spaces). Quasi-Polish spaces generalize Polish spaces (which are often used in analysis and measure theory), omega-continuous domains (which are used in theoretical computer science), and countably based spectral spaces (which are used in algebraic geometry and logic). This research mainly focused on algebraic structures known as semilattices, which have important applications in mathematical logic and theoretical computer science.
Our main accomplishments include a careful analysis of several powerspace monads on the category of quasi-Polish spaces which provide a category-theoretical approach (via Eilenberg-Moore algebras) to studying quasi-Polish semilattices. We have also made many new contributions to the general theory of quasi-Polish spaces, which is still a very young research area.
|
