引き戻し (圏論)
圏論という数学の分野において,引き戻し(ひきもどし,英: pullback),あるいはファイバー積 (fiber/fibre/fibered product),デカルトの四角形 (Cartesian square) とは,共通の終域を持つ2つの射 f: X → Z, g: Y → Z からなる図式の極限である.引き戻しはしばしば P = X ×Z Y と書かれ,2つの自然な射 P → X, P → Y を備えている.
圏論という数学の分野において,引き戻し(ひきもどし,英: pullback),あるいはファイバー積 (fiber/fibre/fibered product),デカルトの四角形 (Cartesian square) とは,共通の終域を持つ2つの射 f: X → Z, g: Y → Z からなる図式の極限である.引き戻しはしばしば P = X ×Z Y と書かれ,2つの自然な射 P → X, P → Y を備えている.
圏論という数学の分野において,引き戻し(ひきもどし,英: pullback),あるいはファイバー積 (fiber/fibre/fibered product),デカルトの四角形 (Cartesian square) とは,共通の終域を持つ2つの射 f: X → Z, g: Y → Z からなる図式の極限である.引き戻しはしばしば P = X ×Z Y と書かれ,2つの自然な射 P → X, P → Y を備えている.
出典: Wikipedia「引き戻し (圏論)」 · CC BY-SA 4.0
この記事を共有: X · Bluesky