Definition:Destination (Category Theory)