§
Allegories and Categories
An allegory is a category enriched over posets, where each morphism
r
:
A
→
B
r: A \to B
r
:
A
→
B
has a converse
r
′
:
B
→
A
r': B \to A
r
′
:
B
→
A
.