>>11101184I don't even know how to read this.
Either every theorem is a tautology, or you mean this is especially simple (it's probably not more simlpe than Eulers formula), or you say things should generally always be viewed in terms of their corresponding hom-functors and it's a tautologically in this sense.
