William Elliot wrote: > On Sat, 1 Feb 2014, Victor Porton wrote: >> William Elliot wrote: >> > On Fri, 31 Jan 2014, Victor Porton wrote: >> > >> >> In preprint of my book there are several really big formulas, like >> >> this: >> >> >> >> http://imagebin.ca/v/1AlaD625WSmY >> > >> > What formula? Is it in the copy of your preprint that I have? >> >> I think it is in your version of the preprint in "Subatomic product" >> subsection of "On products and projections" section (note there are two >> "Subatomic product" subsections in my book). >> > What are the paragraph numbers of the long equations?
It is proposition 16.199 (in "16.13.3 Subatomic product") in volume-1-12pt.pdf which I sent you.
>> http://www.mathematics21.org/algebraic-general-topology.html >> >> > I've inquired all around, first at sci.math, about your definitions of >> > filtrators when the subset is a (semi)lattice under the title "Lattice >> > Embeddings" and got no response as to previous usage or significance. >> > Partial embeddings appear to me like partial functions, of limited use >> > and best avoided. >> >> I don't understand this your paragraph. I don't remember any your inquiry >> about semilattices. > > They were about lattices and are perfectly parallel > to your's about semilattices.