Why is there asymmetry in mathematics? There should be general results, e.g., if a category is large it cannot be the case that both it and its opposite are locally presentable.