Reputation
1,506
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
1 8 20
Newest
 Yearling
Impact
~76k people reached

Apr
7
comment Generalizing a theorem about filters on a boolean lattice
Hm, maybe it holds for all complemented lattices?
Apr
7
accepted Generalizing a theorem about filters on a boolean lattice
Mar
28
comment How Galois connections between powersets correspond to binary relations?
I've found this at ncatlab.org/nlab/show/Galois+connection#properties
Mar
25
revised How Galois connections between powersets correspond to binary relations?
edited tags
Mar
25
asked How Galois connections between powersets correspond to binary relations?
Mar
22
comment Two alleged counterexamples (about boolean algebras)
2 and 3 are false. See portonmath.wordpress.com/2016/03/22/…
Mar
22
comment A construction on boolean lattices is itself a boolean lattice?
I have proved that the poset of boolean funcoids between non-atomic boolean lattices is always not a boolean lattice portonmath.wordpress.com/2016/03/22/…
Mar
22
comment Antitone Galois connections, composition
I see: I can revert (make dual) source of the second polarity or image of the first one. So there are two different compositions. How these two kinds of composition of polarities are related?
Mar
21
asked Antitone Galois connections, composition
Mar
20
comment Monotone Galois connections arising from binary relations
An error trying to solve this: math.stackexchange.com/q/1705984/4876
Mar
19
revised Galois connections between boolean lattices - an alternative representation
added 136 characters in body
Mar
19
asked Functions which map Lebesgue measurable sets into Lebesgue measurable sets
Mar
19
revised Galois connections between boolean lattices - an alternative representation
added 23 characters in body
Mar
19
revised Galois connections between boolean lattices - an alternative representation
added 80 characters in body
Mar
18
revised Galois connections between boolean lattices - an alternative representation
What about counter-examples?
Mar
18
asked Monotone Galois connections arising from binary relations
Mar
18
revised Galois connections between boolean lattices - an alternative representation
added 312 characters in body
Mar
18
revised Galois connections between boolean lattices - an alternative representation
definition of lower adjoint
Mar
18
revised Galois connections between boolean lattices - an alternative representation
math typo
Mar
18
revised Galois connections between boolean lattices - an alternative representation
Question 1 solved