Definition:Projection (Category Theory)