Nuprl Definition : rep-pre-sheaf
rep-pre-sheaf(C;X) == <λU.(cat-arrow(C) U X), λU,U',f,ux. (cat-comp(C) U' U X f ux)>
Definitions occuring in Statement :
cat-comp: cat-comp(C),
cat-arrow: cat-arrow(C),
apply: f a,
lambda: λx.A[x],
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>,
cat-arrow: cat-arrow(C),
lambda: λx.A[x],
apply: f a,
cat-comp: cat-comp(C)
FDL editor aliases :
rep-pre-sheaf
Latex:
rep-pre-sheaf(C;X) == <\mlambda{}U.(cat-arrow(C) U X), \mlambda{}U,U',f,ux. (cat-comp(C) U' U X f ux)>
Date html generated:
2020_05_20-AM-07_52_58
Last ObjectModification:
2015_09_23-AM-09_29_15
Theory : small!categories
Home
Index