Nuprl Definition : op-cat

op-cat(C) ==  let ob,arrow,id,comp in <ob, λx,y. (arrow x), id, λx,y,z,f,g. (comp f)>  



Definitions occuring in Statement :  spreadn: spread4 apply: a lambda: λx.A[x] pair: <a, b>
Definitions occuring in definition :  spreadn: spread4 pair: <a, b> lambda: λx.A[x] apply: a
FDL editor aliases :  op-cat

Latex:
op-cat(C)  ==    let  ob,arrow,id,comp  =  C  in  <ob,  \mlambda{}x,y.  (arrow  y  x),  id,  \mlambda{}x,y,z,f,g.  (comp  z  y  x  g  f)>  \000C 



Date html generated: 2020_05_20-AM-07_52_04
Last ObjectModification: 2015_09_23-AM-09_29_12

Theory : small!categories


Home Index