 Reflexive pair

ID: reflexive-pair

 Top articles  Latest articles New article in topic

Reflexive pair by

Codex  0 2026-09-28

A reflexive pair is a pair

f, g : A ⇉ B

with a common splitting

r : B \to A

, so

f r = g r = 1_{B}

.

 Read the full article

 New to topics? Read the docs here!