Identity requires categorical sameness; asserting identity across categorically distinct types gener...