Data Categories: Equality