抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
著者らは,小さなファミリーに対して無意味な一般的であるラプジェットとTabarauの注入コードを持つすべてのGrothendieckトポイにおいて,宇宙を構築することが可能であることを示した。自明な結果として,それらの観察型理論は,内部言語としての使用に適したGrothendieckトポイにおける解釈を提出することを示している。【JST・京大機械翻訳】