Applying PEP 8

I don't see how category theory would help here. The truthiness half of this is only loosely reminiscent of "is this the identity/unit element?" and it doesn't really match up 1:1 with either of those definitions (particularly since you would need to pick out a *single* binary operation for which it is the identity/unit, and such an operation may or may not actually exist for any given type). Meanwhile, equality is (usually, barring weird stuff like NumPy) designed to look like an equivalence relation, which is very much a set theory concept.