homotopy extension property
ویژگی توسیع هموتوپی
crossed module
مدول متقاطع
module
مدول