It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.2K
- Programming with Categories Course 24
- Exercises - Programming with Categories Course 15
- Mini-Talks - Programming with Categories Course 3
- Applied Category Theory Course 341
- Applied Category Theory Seminar 4
- Exercises - Applied Category Theory Course 149
- Discussion Groups 50
- How to Use MathJax 15
- Chat 487
- Azimuth Code Project 108
- News and Information 147
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 41

Options

**Galois connection a.k.a. Adjunction Formula**
$$
f(p) \le q \iff p \le g(q) \\
\text{Where g is right-adjoint to f and f is left-adjoint to g}
$$

- Choose a nontrivial partition \( c : S \twoheadrightarrow P \) and let \( g_!(c) \) be its push forward partition on T.
- Choose any coarser partition \( d : T \twoheadrightarrow P' \), i.e. where \( g_!(c) \le d \) .
- Choose any non-coarser partition \( e : T \twoheadrightarrow Q \), i.e. where \( g_!(c) \nleq e \). (If you can’t do this, revise your answer for #1.)
- Find \( g^*(d) \text{ and } g^*(e) \) .
- The adjunction formula, in this case, says that since \( g_!(c) \le d \text{ and } g_!(c) \nleq e \) , we should have \( c \le g^*(d) \text{ and } c \nleq g^*(e) \) . Show that this is true.

## Comments

Thanks for the great diagram!

`Thanks for the great diagram!`

The easiest, and probably most illuminating, method is to look at the diagram above. Nevertheless, I thought I would give an explicit example.

\(S=\{1,2,3,4\},\,\,T=\{12,3,4\}\).

c=[124][3], d=[1234], e=[12][3][4]

\(g^* (\mathrm{d})\)=[1234], \(g^* (\mathrm{e})\)=[12][3][4]

[124][3]\(\leq\)[1234] and [124][3]\(\nleq\)[12][3][4].

`The easiest, and probably most illuminating, method is to look at the diagram above. Nevertheless, I thought I would give an explicit example. \\(S=\\{1,2,3,4\\},\,\,T=\\{12,3,4\\}\\). c=[124][3], d=[1234], e=[12][3][4] \\(g^* (\mathrm{d})\\)=[1234], \\(g^* (\mathrm{e})\\)=[12][3][4] [124][3]\\(\leq\\)[1234] and [124][3]\\(\nleq\\)[12][3][4].`