最終更新日:2025/12/05
例文

射の合成を示すために、与えられた多重有向グラフから誘導される自由圏を構成し、各経路を射として追跡します。

復習用の問題

To illustrate composition of morphisms, we construct the free category on the given multidigraph and trace each path as a morphism.

正解を見る

To illustrate composition of morphisms, we construct the free category on the given multidigraph and trace each path as a morphism.

音声機能が動作しない場合はこちらをご確認ください

関連する単語

free category

名詞
日本語の意味
フリー圏(カテゴリー理論における): 多重有向グラフから誘導される圏であり、オブジェクトがグラフの頂点、射が頂点間の経路で定義される。射の合成は、ある経路の終点と他の経路の始点が一致する場合、それらの経路を連結することで実現され、各オブジェクトにおける恒等射は空の経路として表される。
このボタンはなに?

射の合成を示すために、与えられた多重有向グラフから誘導される自由圏を構成し、各経路を射として追跡します。

関連語

plural

英語 - 英語

項目の編集設定
  • 項目の編集権限を持つユーザー - すべてのユーザー
  • 項目の新規作成を審査する
  • 項目の編集を審査する
  • 項目の削除を審査する
  • 重複の恐れのある項目名の追加を審査する
  • 項目名の変更を審査する
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
例文の編集設定
  • 例文の編集権限を持つユーザー - すべてのユーザー
  • 例文の削除を審査する
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
問題の編集設定
  • 問題の編集権限を持つユーザー - すべてのユーザー
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
編集ガイドライン

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★