Nuprl Definition : forget-lattice
ForgetLattice == functor(ob(ltt) = Point(ltt);arrow(G,H,f) = f)
Definitions occuring in Statement :
mk-functor: mk-functor,
lattice-point: Point(l)
Definitions occuring in definition :
mk-functor: mk-functor,
lattice-point: Point(l)
FDL editor aliases :
forget-lattice
Latex:
ForgetLattice == functor(ob(ltt) = Point(ltt);arrow(G,H,f) = f)
Date html generated:
2017_02_21-AM-09_58_46
Last ObjectModification:
2017_01_23-PM-02_13_04
Theory : small!categories
Home
Index