Nuprl Definition : rep-pre-sheaf

rep-pre-sheaf(C;X) ==  <λU.(cat-arrow(C) X), λU,U',f,ux. (cat-comp(C) U' ux)>



Definitions occuring in Statement :  cat-comp: cat-comp(C) cat-arrow: cat-arrow(C) apply: 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: 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