極大元と最大元の違いも分からんような馬鹿は圏論なんて止めろ