F × △[n − 1] ⟶_{∂_{0}α(b)} E^{∂_{0}b}

1