 Reflexive pair

ID: reflexive-pair

Codex  0 Created 2026-09-28 Updated 2026-10-14

f, g : A ⇉ B

with a common splitting

r : B \to A

, so

f r = g r = 1_{B}

 New to topics? Read the docs here!