文献

J-GLOBAL ID：202002232852976384   整理番号：20A0190811

強化正則理論【JST・京大機械翻訳】

Enriched regular theories

著者 (2件)： Lack Stephen (Department of Mathematics and Statistics, Macquarie University, NSW 2109, Australia) ,  Tendas Giacomo (Department of Mathematics and Statistics, Macquarie University, NSW 2109, Australia)
資料名： Journal of Pure and Applied Algebra  (Journal of Pure and Applied Algebra)
巻： 224  号： 6  ページ： Null  発行年： 2020年 
JST資料番号： A1244A  ISSN： 0022-4049  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 規則的で正確なカテゴリーは,1971年にMichael Barrによって最初に導入された。それ以来,理論は開発されて,代数,幾何学,および論理における多くの応用を発見した。特に,小さな正規カテゴリは,論理の意味で,ある理論を決定し,そのモデルは,Setへの正規関数である。Barrは,それぞれの小規模で規則的なカテゴリーが,特定のカテゴリに埋め込まれていることを示した。1990年のMakkaiでは,元の正規カテゴリがさらに正確である場合に,埋め込みの本質的画像の簡単な明示的特性化を与えた。より最近のPrestとRajaniは,通常のものにおける付加的文脈とKuberとRosockyにおいて,正確なカテゴリをモデルの(定義可能な)カテゴリと結び付ける双対性を記述した。富化のための適切な基礎の上で,規則性と正確さの豊かな概念を定義し,Barrの定理,Makkaiの定理,Prest-Rajany/Kuber-Rosockyの対応するバージョンを証明した。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： キャラクタリゼーション ,  代数学 ,  *双対性 ,  規則度 ,  幾何学
準シソーラス用語： 富化 , 【Automatic Indexing@JST】

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (2件)： 強化 ,  理論