Nuprl Definition : Kan-cubical-sigma
KanΣ A B == <Σ Kan-type(A) Kan-type(B), Kan_sigma_filler(A;B)>
Definitions occuring in Statement :
Kan_sigma_filler: Kan_sigma_filler(A;B),
Kan-type: Kan-type(Ak),
cubical-sigma: Σ A B,
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>,
cubical-sigma: Σ A B,
Kan-type: Kan-type(Ak),
Kan_sigma_filler: Kan_sigma_filler(A;B)
FDL editor aliases :
Kan-cubical-sigma
Latex:
Kan\mSigma{} A B == <\mSigma{} Kan-type(A) Kan-type(B), Kan\_sigma\_filler(A;B)>
Date html generated:
2016_06_16-PM-06_48_24
Last ObjectModification:
2015_09_23-AM-09_32_30
Theory : cubical!sets
Home
Index