Definition:Node (Category Theory)