Category vs. Set theory