抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本研究では,等式対称性,次数対称性,および再命名集合のような,様々な種類の名目集合に対する均一基礎を与える,支持集合のカテゴリーを提案し,論じた。名目集合のこれら全ての異なるフレーバーカテゴリーは,支持集合上のモナディックであることを示した。したがって,サポートされたセットは,名目上の集合とオートマトン,例えばレジスタオートマトンを表現するための正準有限方法を提供する。サポートセットにおけるナーム結合を,デBrijn指数のアイデアに従って,ファンクターによってモデル化した。このファンクターは,名目上の集合でよく知られた抽象化関数に持ち上げる。モナディシティ結果と共に,これは,サポート集合におけるレジスタオートマトンの有限表現を採り,それを名目集合でその構成オートマトンに変換する変換プロセスを生じる。【JST・京大機械翻訳】
