Timeline for Intuitionistic logic as quantization of classical logic?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 24, 2013 at 12:19 | comment | added | Mikhail Katz | I am not too familiar with this material and am curious to find out more. Can you summarize why one might think of a Galois connection more in terms of intuitionistic logic as a quantisation of classical logic than vice versa, for example? The wiki page is written in such general terms that it is hard to tell how something like this could be applied. | |
| Apr 23, 2013 at 19:54 | history | edited | ex0du5 | CC BY-SA 3.0 |
fix broken link
|
| Apr 23, 2013 at 18:47 | comment | added | Paul Taylor | As a piece of basic category theory, a Galois connection is an adjunction between one preorder (qua category) and the opposite of another; equivalences of categories are a special case of this. However, that is getting us away from the main issues of this page. | |
| Apr 23, 2013 at 17:56 | comment | added | Mikhail Katz | Very interesting. I looked at the wiki article on "Galois connection" (incidentally, you could fix the link). Is this notion related to "equivalence of categories"? What would be a concrete example to illustrate the power of this notion as a means of clarifying the theory? | |
| Apr 23, 2013 at 16:38 | history | answered | ex0du5 | CC BY-SA 3.0 |