Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  enrich the *-autonomous category of complete lattices and maps preserving all suprema with the important concept of approximation by specifying a *-autonomous full subcategory LFS of linear FS-lattices. This is the greatest *-autonomous full subcategory of linked bicontinuous lattices. The modalities !() and ?() mediate a duality beten the upper and lor pordomains. The distributive objects in LFS give rise to the compact closed *-autonomous full subcategory CD of completely distributive lattices.  characterise algebraic objects in LFS by forbidden substructures 'a la Plotkin'. >
['Michael Huth', 'Achim Jung', 'Klaus Keimel']
I am writing a research paper on a idea Linear types, approximation, and topology
[{"from": "human", "value": "I am writing a research paper on a idea Linear types, approximation, and topology"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  enrich the *-autonomous category of complete lattices and maps preserving all suprema with the important concept of approximation by specifying a *-autonomous full subcategory LFS of linear FS-lattices. This is the greatest *-autonomous full subcategory of linked bicontinuous lattices. The modalities !() and ?() mediate a duality beten the upper and lor pordomains. The distributive objects in LFS give rise to the compact closed *-autonomous full subcategory CD of completely distributive lattices.  characterise algebraic objects in LFS by forbidden substructures 'a la Plotkin'. >"}]