集合圏Setに対して、埋め込み（対象上で単射な忠実関手）が指定されているような圏Cを考える。要するに標準的な忘却関手を持っているので、Cは集合・写像ベースの圏と言える。Cの対象の濃度をその台集合（忘却関手の値）の濃度とする。すると、濃度がたかだ…