Nuprl Definition : transprt
transprt(G;cA;a0) == comp cA [0(𝔽) ⟶ discr(⋅)] a0
Definitions occuring in Statement :
comp_term: comp cA [phi ⟶ u] a0,
face-0: 0(𝔽),
discrete-cubical-term: discr(t),
it: ⋅
Definitions occuring in definition :
it: ⋅,
discrete-cubical-term: discr(t),
face-0: 0(𝔽),
comp_term: comp cA [phi ⟶ u] a0
FDL editor aliases :
transprt
Latex:
transprt(G;cA;a0) == comp cA [0(\mBbbF{}) \mvdash{}\mrightarrow{} discr(\mcdot{})] a0
Date html generated:
2017_01_10-AM-09_44_52
Last ObjectModification:
2017_01_02-PM-00_50_44
Theory : cubical!type!theory
Home
Index