Nuprl Definition : op-cat
op-cat(C) == let ob,arrow,id,comp = C in <ob, λx,y. (arrow y x), id, λx,y,z,f,g. (comp z y x g f)>
Definitions occuring in Statement :
spreadn: spread4,
apply: f a,
lambda: λx.A[x],
pair: <a, b>
Definitions occuring in definition :
spreadn: spread4,
pair: <a, b>,
lambda: λx.A[x],
apply: f 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