Nuprl Definition : csm-fibrant-type
csm-fibrant-type(G;H;s;FT) == let A,cA = FT in <(A)s, csm-composition(s;cA)>
Definitions occuring in Statement :
csm-composition: csm-composition(sigma;comp),
csm-ap-type: (AF)s,
spread: spread def,
pair: <a, b>
Definitions occuring in definition :
csm-composition: csm-composition(sigma;comp),
csm-ap-type: (AF)s,
pair: <a, b>,
spread: spread def
FDL editor aliases :
csm-fibrant-type
Latex:
csm-fibrant-type(G;H;s;FT) == let A,cA = FT in <(A)s, csm-composition(s;cA)>
Date html generated:
2016_06_16-PM-02_23_22
Last ObjectModification:
2016_06_13-AM-10_25_17
Theory : cubical!type!theory
Home
Index