Nuprl Definition : Kan-type

Kan-type(Ak) ==  fst(Ak)


Definitions occuring in Statement :  pi1: fst(t)
Definitions occuring in definition :  pi1: fst(t)
FDL editor aliases :  Kan-type
Latex:
Kan-type(Ak)  ==    fst(Ak)


Date html generated: 2016_06_16-PM-06_44_06
Last ObjectModification: 2015_09_23-AM-09_32_13

Theory : cubical!sets


Home Index