nLab relations - contents

relation, internal relation

Rel, bicategory of relations, allegory

Types of Binary relation

• reflexive, irreflexive

• symmetric, antisymmetric asymmetric

• transitive, comparison;

• left and right euclidean;

• total, connected

• extensional, well-founded relations.

• functional relations,

• entire relations,

• equivalence relations, congruence

• apartness relations

• simple graph

In higher category theory

• 2-congruence

• (n,r)-congruence

Edit this sidebar