Nuprl Definition : type-functor-compose
p o q == let F,MF = p in let G,MG = q in <F o G, MF o MG>
Definitions occuring in Statement :
compose: f o g,
spread: spread def,
pair: <a, b>
Definitions occuring in definition :
spread: spread def,
pair: <a, b>,
compose: f o g
FDL editor aliases :
functor-compose
Latex:
p o q == let F,MF = p in let G,MG = q in <F o G, MF o MG>
Date html generated:
2016_05_15-PM-01_44_52
Last ObjectModification:
2015_09_23-AM-07_37_02
Theory : basic
Home
Index