## § Allegories and Categories

• An allegory is a category enriched over posets, where each morphism $r: A \to B$has a converse $r': B \to A$.