Pullback (category Theory) - Discussion

Discussion

The pullback is similar to the product, but not the same. One may obtain the product by "forgetting" that the morphisms f and g exist, and forgetting that the object Z exists. One is then left with a discrete category containing only the two objects X and Y, and no arrows between them. This discrete category may be used as the index set to construct the ordinary binary product. Thus, the pullback can be thought of as the ordinary (Cartesian) product, but with additional structure.

The categorical dual of a pullback is a called a pushout. Remarks opposite to the above apply: the pushout is a coproduct with additional structure.

Read more about this topic:  Pullback (category Theory)

Famous quotes containing the word discussion:

    Power is action; the electoral principle is discussion. No political action is possible when discussion is permanently established.
    HonorĂ© De Balzac (1799–1850)

    We cannot set aside an hour for discussion with our children and hope that it will be a time of deep encounter. The special moments of intimacy are more likely to happen while baking a cake together, or playing hide and seek, or just sitting in the waiting room of the orthodontist.
    Neil Kurshan (20th century)

    Bigotry is the disease of ignorance, of morbid minds; enthusiasm of the free and buoyant. Education and free discussion are the antidotes of both.
    Thomas Jefferson (1743–1826)