1,271 reputation
517
bio website mathematics21.org
location
age
visits member for 3 years, 11 months
seen Nov 15 at 1:57

An amateur general topology researcher.


Oct
17
asked Compact frames, an equivalent reformulation
Oct
15
revised Is the locale of filters on an arbitrary lattice compact?
lcoale -> lattice
Oct
15
asked Is the locale of filters on an arbitrary lattice compact?
Oct
15
accepted A filtered poset and a filtered diagram (category)
Oct
14
asked A filtered poset and a filtered diagram (category)
Sep
25
accepted Equality of two expressions describing a filter
Sep
24
revised Equality of two expressions describing a filter
added 130 characters in body
Sep
24
comment Equality of two expressions describing a filter
@AndreasBlass: Thanks, it was my error. Now have been corrected
Sep
24
revised Equality of two expressions describing a filter
U -> W; edited tags
Sep
24
comment Equality of two expressions describing a filter
@StevenStadnicki: It seems that $T$ does not witness that $V$ can't be in (2).
Sep
24
comment Equality of two expressions describing a filter
@TomCruise: No, I have edited the question, and now 2. means the filter(?) on the boolean lattice $U$ consisting of all elements $L\in U$ such that every $X$ majorating $L$ is an element of the filter $f$
Sep
24
revised Equality of two expressions describing a filter
clarity
Sep
24
comment Equality of two expressions describing a filter
@TomCruise: Yes, I was wrong. I will edit the question.
Sep
24
revised Equality of two expressions describing a filter
Corrected error: sets -> boolean lattices
Sep
24
comment Equality of two expressions describing a filter
@TomCruise: I don't understand your question. By $Y\in U$ I mean that $Y$ is an elemetn of the set $U$.
Sep
24
awarded  Autobiographer
Sep
24
asked Equality of two expressions describing a filter
Sep
24
comment Compositions of filters on finite unions of Cartesian products
I thought (without writing a detailed proof), that this my question is equivalent to an other open problem I work about. Now I see my problem does not follow trivially from this question. Because my open problem is more hard, I thought this question is also hard and stupidly overlooked a trivial solution. It is one of my biggest mistakes. Thanks anyway and get my bounty
Sep
24
accepted Compositions of filters on finite unions of Cartesian products
Sep
22
revised Order on the set of partitions (terminology)
edited tags