The Chu construction for complete atomistic coatomistic lattices
Boris Ischi, Gavin J. Seal · arXiv (Cornell University) · 2004
The Chu construction is used to define a *-autonomous structure on a category of complete atomistic coatomistic lattices. This construction leads to a new tensor product that is compared with a certain number of other existing tensor products.