homotopy extension property
type: Concept
preferred label: ویژگی توسیع هموتوپی @fa
related: crossed module

crossed module
type: Concept
broader: module
preferred label: مدول متقاطع @fa
related: homotopy extension property

module
type: Concept
narrower: crossed module
preferred label: مدول @fa