Kan extension

名詞

(category theory) A construct that generalizes the notion of extending a function's domain of definition.

日本語の意味

関手の拡張：カテゴリ理論において、関数の定義域の拡張という概念を一般化した構成。 / Kan拡張：関数の定義域を拡大する概念に基づき、より抽象的な枠組みでその操作を扱うための構成

このボタンはなに？

Google翻訳 / DeepL翻訳

圏論の多くの問題において、カン拡張は与えられた関手に沿って関手を拡張するための体系的な方法を提供する。

詳細

意味（1）

(category theory) A construct that generalizes the notion of extending a function's domain of definition.

Moreover, f∗ admits both a left adjoint f_! and a right adjoint f_∗, given by left and right Kan extension along the map SingY→SingX, respectively. Note that this is left and right Kan extension in the ∞-categorical sense, which amounts to homotopy left and right Kan extension on the level of simplicial categories or model categories.

Google翻訳 / DeepL翻訳

詳細

Kan extensions

（ plural ）

詳細

Kan extension

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

アプリをダウンロード！

Kan extension

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！