Who should be credited with the proposition that if $R$ is a relation on $X \times Y$, then for all subsets $S$ of $X$, $G(F(G(S)))=G(S)$, where $G(S)$ denotes the set of $y \in Y$ such that $xRy$ for all $x \in S$ and $F(T)$ denotes the set of $x \in X$ such that $xRy$ for all $y \in T$? What is the category-theoretic way of describing this situation?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
8
1
|
|
|||
|
|
|
12
|
That's normally called a Galois connection (because of the example where $X$ is a field, $Y$ is a group of automorphisms of $X$, and $aRg$ means that $g(a)=a$). The Wikipedia article (http://en.wikipedia.org/wiki/Galois_connection) has a number of references. |
||||||||
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
0
|
$G(S):= \lbrace y\in Y | \forall x\in S. xRy \rbrace$ $F(T):= \lbrace x\in X | \forall y\in T. xRy \rbrace$ This Galois connection is called “polarities” in “M. Erne, J. Koslowski, A. Melton, G. E. Strecker. A Primer on Galois Connections.” and the relation-generated Galois connection in “Smith. The Galois Connection between Syntax and Semantics.” |
|||
|
