Nuprl Definition : distributive-lattice-cat

BddDistributiveLattice ==
  Cat(ob = BoundedDistributiveLattice;
      arrow(G,H) = Hom(G;H);
      id(G) = λx.x;
      comp(G,H,K,f,g) = g o f)

Definitions occuring in Statement : mk-cat: mk-cat, bdd-distributive-lattice: BoundedDistributiveLattice, bounded-lattice-hom: Hom(l1;l2), compose: f o g, lambda: λx.A[x]
Definitions occuring in definition : mk-cat: mk-cat, bdd-distributive-lattice: BoundedDistributiveLattice, bounded-lattice-hom: Hom(l1;l2), lambda: λx.A[x], compose: f o g
FDL editor aliases : distributive-lattice-cat

Latex:
BddDistributiveLattice == Cat(ob = BoundedDistributiveLattice; arrow(G,H) = Hom(G;H); id(G) = \mlambda{}x.x; comp(G,H,K,f,g) = g o f) Date html generated: 2017_02_21-AM-09_58_29 Last ObjectModification: 2017_01_23-PM-01_27_27 Theory : small!categories Home Index