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:

    The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.
    Anne Cassidy (20th century)

    Won’t this whole instinct matter bear revision?
    Won’t almost any theory bear revision?
    To err is human, not to, animal.
    Robert Frost (1874–1963)