Definition:Source (Category Theory)