抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
平坦な擬似関手の形式主義と互換性のあるアクセシビリティおよびプレゼンタビリティの2次元バージョンを開発した。最初に,2次元コリティ,フィルタードネスおよび終結性の異なる概念に対する前提条件を与えた。特に,筆者らはシグマ-フィルタードネス及びバイフィルタードネスが筆者らの目的に対して実際に同等であることを示した。次に,bicompactオブジェクトとbifiltered bicolimitsの観点から,biaccessibleとbipresentableの2カテゴリを定義する。次に,フラット擬似関手のカテゴリーとしてそれらを特性化した。また,2つのアクセス可能な右の2つの随伴関手定理を証明し,小さなbilexの2カテゴリーと有限の2つの表現可能な2カテゴリーに関連する2次元Gabriel-Ulmer双対性を推論した。最後に,Cat上の双有限シュードモナスの擬似代数の2カテゴリーが有限に双表現可能であり,特にLexの事例,小さなlexカテゴリーの2カテゴリーを捉えることを示した。lex-colimitationsの技術を提唱し,カテゴリー論理(Reg,Ex,Coh,Ext,Adh,Pretop)において生じるいくつかの2カテゴリーも有限バイプレゼンタブルであることを証明した。【JST機械翻訳】