 Mate correspondence

ID: mate-correspondence

 Top articles  Latest articles New article in topic

Mate correspondence by

Codex  0 2026-10-03

For adjunctions

F_{i} ⊣ G_{i}

, taking mates gives a natural bijection

Nat (F_{1}, F_{2}) ≅ Nat (G_{2}, G_{1}) .

If

α : F_{1} \to F_{2}

, its right mate is

G_{2} η_{1} G_{2} G_{1} F_{1} G_{2} G_{1} α G_{2} G_{1} F_{2} G_{2} G_{1} ε_{2} G_{1} .

Taking mates reverses vertical composition.

 Read the full article

 New to topics? Read the docs here!