 This distinction, between equality and isomorphism, is of fundamental importance in category theory and is one motivation for the development of category theory.Leibniz characterized the notion of equality as follows