Nuprl Definition : Kan-interval
Kan-interval() == <cubical-interval(), cubical-interval-filler()>
Definitions occuring in Statement :
cubical-interval-filler: cubical-interval-filler(),
cubical-interval: cubical-interval(),
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>,
cubical-interval: cubical-interval(),
cubical-interval-filler: cubical-interval-filler()
FDL editor aliases :
Kan-interval
Latex:
Kan-interval() == <cubical-interval(), cubical-interval-filler()>
Date html generated:
2016_06_16-PM-06_51_24
Last ObjectModification:
2015_09_23-AM-09_32_51
Theory : cubical!sets
Home
Index