Domain of A Function - Category Theory

Category Theory

In category theory one deals with morphisms instead of functions. Morphisms are arrows from one object to another. The domain of any morphism is the object from which an arrow starts. In this context, many set theoretic ideas about domains must be abandoned or at least formulated more abstractly. For example, the notion of restricting a morphism to a subset of its domain must be modified. See subobject for more.

Read more about this topic:  Domain Of A Function

Famous quotes containing the words category and/or theory:

    I see no reason for calling my work poetry except that there is no other category in which to put it.
    Marianne Moore (1887–1972)

    If my theory of relativity is proven correct, Germany will claim me as a German and France will declare that I am a citizen of the world. Should my theory prove untrue, France will say that I am a German and Germany will declare that I am a Jew.
    Albert Einstein (1879–1955)