Nuprl Definition : forget-lattice

ForgetLattice == functor(ob(ltt) = Point(ltt);arrow(G,H,f) = f)

Definitions occuring in Statement : lattice-point: Point(l), mk-functor: mk-functor
Definitions occuring in definition : lattice-point: Point(l)
FDL editor aliases : forget-lattice

Latex:
ForgetLattice == functor(ob(ltt) = Point(ltt);arrow(G,H,f) = f) Date html generated: 2020_05_20-AM-09_00_26 Last ObjectModification: 2020_01_16-PM-05_05_28 Theory : lattices Home Index