関係的表現定理からストーン双対性への拡張

集合的表現定理を拡張したストーン双対性の例が数多く知られている一方、べき集合クオンテールの関係的表現定理はストーン双対性へ拡張された例がない。本研究では、べき集合クオンテールの関係的表現定理を拡張したストーン双対性を得ることが最終目的である。そのために、2022年度から2023年度にかけては、表現定理をストーン双対性へ拡張するための申請者自身による2020年の既存手法であるオプファイバー内包理論を一般化し、べき集合クオンテールの関係的表現定理に具体化するための準備をすることが計画されている。オプファイバー内包理論は圏Set上のアイレンベルグムーア圏に適用できた実績があるが、べき集合クオンテールの圏に適用できるかどうか明らかではなかった。しかし、2022年度の研究の成果として、べき集合クオンテールの圏が圏Rel上のアイレンベルグムーア圏であることがわかった。そのため、SetとRelを含む形でオプファイバー内包理論を一般化できれば、べき集合クオンテールの圏にも適用できることがわかった。また、申請者自身による2012年の既存研究で、任意のべき集合クオンテールが，ある二項関係をもとにしたべき集合クオンテールに埋め込めることが証明されているが、埋め込める根本的な理由はわかっていない。今回の成果は、べき集合クオンテールと二項関係の間の1つの強いつながりを意味する成果であり、埋め込める根本的な理由を明らかにする手がかりにもなり得る。

集合的表現定理を拡張したストーン双対性の例が数多く知られている一方、べき集合クオンテールの関係的表現定理はストーン双対性へ拡張された例がない。本研究では、べき集合クオンテールの関係的表現定理を拡張したストーン双対性を得ることが最終目的である。そのために、2022年度から2023年度にかけては、表現定理をストーン双対性へ拡張するための申請者自身による2020年の既存手法であるオプファイバー内包理論を一般化し、べき集合クオンテールの関係的表現定理に具体化するための準備をすることが計画されている。オプファイバー内包理論は圏Set上のアイレンベルグムーア圏に適用できた実績があるが、べき集合クオンテールの圏に適用できるかどうか明らかではなかった。しかし、2022年度の研究の成果として、べき集合クオンテールの圏が圏Rel上のアイレンベルグムーア圏であることがわかった。そのため、SetとRelを含む形でオプファイバー内包理論を一般化できれば、べき集合クオンテールの圏にも適用できることがわかった。また、申請者自身による2012年の既存研究で、任意のべき集合クオンテールが，ある二項関係をもとにしたべき集合クオンテールに埋め込めることが証明されているが、埋め込める根本的な理由はわかっていない。今回の成果は、べき集合クオンテールと二項関係の間の1つの強いつながりを意味する成果であり、埋め込める根本的な理由を明らかにする手がかりにもなり得る。