Vijay D
|
Registered User
|
Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.
|
|
Jan 10 |
awarded | ● Scholar |
|
Jan 10 |
awarded | ● Student |
|
Jan 10 |
awarded | ● Commentator |
|
Jan 10 |
comment |
Why the preimage rather than image in Stone-type dualities. That comment answers it. It's the insight I was looking for. Thanks! Could you add that to your answer, as answering my second question? |
|
Jan 10 |
comment |
Why the preimage rather than image in Stone-type dualities. I see the homomorphism reason. I was wondering if there are other reasons. Also, the choice of preimage for functions does not seem to justify that choice for relations. |
|
Jan 10 |
comment |
Why the preimage rather than image in Stone-type dualities. That's what I meant by preimage being a homomorphism while image may not be one. |
|
Jan 9 |
asked | Why the preimage rather than image in Stone-type dualities. |
