Definition:Origin (Category Theory)