Definition:Edge (Category Theory)