Nuprl Definition : pathtype
Path(A) == (𝕀 ⟶ A)
Definitions occuring in Statement :
interval-type: 𝕀,
cubical-fun: (A ⟶ B)
Definitions occuring in definition :
cubical-fun: (A ⟶ B),
interval-type: 𝕀
FDL editor aliases :
pathtype
pathtype
Latex:
Path(A) == (\mBbbI{} {}\mrightarrow{} A)
Date html generated:
2016_06_16-PM-01_42_09
Last ObjectModification:
2016_06_02-PM-04_17_07
Theory : cubical!type!theory
Home
Index