構造が同じ型だから同型、ただそれだけ
むしろ「濃度が等しい」というのが集合(の圏)における同型