Definition:Vertex (Category Theory)