User talk:Cousotp

Welcome!
Hello, Cousotp, and welcome to Wikipedia! Thank you for your contributions. I hope you like the place and decide to stay. Here are a few links to pages you might find helpful: Please remember to sign your messages on talk pages by typing four tildes ( ~ ); this will automatically insert your username and the date. If you need help, check out Questions, ask me on my talk page, or ask your question on this page and then place  before the question. Again, welcome! Racklever (talk) 20:05, 5 June 2014 (UTC)
 * Getting started
 * Introduction to Wikipedia
 * The five pillars of Wikipedia
 * How to edit a page and How to develop articles
 * How to create your first article
 * Simplified Manual of Style

Galois connection
Hi! You recently added a remark at Galois_connection that your POPL 1977 article only considers complete lattices, while the counterexample uses arbitrary partial orders. It seems that your objection has a point: the counterexample indeed is no lattice, let alone a complete one.

However, I guess that its basic idea (to use self-similarity to obtain embeddings in both directions, but no isomorphism) might carry over to some complete lattices, too. Meanwhile, I believe to have constructed a counterexample (based on complete lattices, and even linear orders) in File:GaloisEmbeddings Complete Lattices.pdf, and would appreciate if you could comment on it. Many thanks in advance. Best regards - Jochen Burghardt (talk) 16:40, 7 June 2022 (UTC)