Nuprl Definition : cat_comp
g o f == cat-comp(C) x y z f g
Definitions occuring in Statement :
cat-comp: cat-comp(C),
apply: f a
Definitions occuring in definition :
apply: f a,
cat-comp: cat-comp(C)
FDL editor aliases :
cat_comp
Latex:
g o f == cat-comp(C) x y z f g
Date html generated:
2020_05_20-AM-07_49_39
Last ObjectModification:
2017_01_17-PM-00_35_30
Theory : small!categories
Home
Index