New posts in relation-algebra

Distinguishing equality and isomorphism as relations

category-theory relations equivalence-relations relation-algebra