Definition:Target (Category Theory)