Allegory (mathematics)
in mathematics, a category that has some of the structure of the category of sets and binary relations between them