圏論っておもしろそう
圏と圏同値と圏双対の定義おしえてください