up:: Category

Given two objects , we say that the collection of all morphisms from to is the collection . That is,

Examples


References