@sim I think he's saying that since true and false can be thought of as monomorphism between with the same two source (think functions with the same domain and codomain) you are free think of them as the same function. This is however, retarded, so charity would suggest some other meaning. I have no idea what he means by nominal duality, maybe a single thing with two names? Mathematically, this is not what I would call a duality, it's more of a singularity, isn't it? Does principle of power refer to the power a notion of truth has? So is an identical principle of power an alternative but similarly useful notion of truth? How degenerate to arbitrarily reference category theory in this context.