Nuprl Definition : path-ss

Path(X) ==  𝕀 ⟶ X


Definitions occuring in Statement :  ss-fun: X ⟶ Y,  unit-ss: 𝕀
Definitions occuring in definition :  ss-fun: X ⟶ Y,  unit-ss: 𝕀
FDL editor aliases :  path-ss
Latex:
Path(X)  ==    \mBbbI{}  {}\mrightarrow{}  X


Date html generated: 2020_05_20-PM-01_20_09
Last ObjectModification: 2018_06_29-PM-05_47_38

Theory : intuitionistic!topology


Home Index