最終更新日：2025/12/05
(algebra) A set of algebraic structures (which are part of a concrete category; e.g., modules) and a set of morphisms between them (e.g., module homomorphisms) which all together form a small category which is the image of a covariant functor whose domain is a directed poset.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
direct system
編集履歴（0）
元となった辞書の項目
direct system
名詞
日本語の意味
（代数学において）有向順序集合を定義域とする共変関手の像として得られる、具体的な圏内の代数構造（例：加群）とそれらの間の射（例：加群準同型）からなる小さな圏を指す。
（ plural ）
