Category Theory Limit