Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
add comment

2 Answers

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.

share|improve this answer
    
Really?? I always thought a Galois connection was an adjoint pair of functors between posets. –  David Roberts Jan 24 '11 at 3:26
4  
Ah, I see from here en.wikipedia.org/wiki/… the situation as the OP describes gives rise to a Galois connection between the powersets of $X$ and $Y$. Cool. –  David Roberts Jan 24 '11 at 3:28
add comment

$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.”

share|improve this answer
    
Thanks! Is there any terminology for the closure operator $S \mapsto F(G(S))$? –  James Propp Jan 28 '11 at 17:07
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.