Metadata
Author: WikiMatrix
Data
English[en]
In Set, the category of all sets with functions as morphisms, an isomorphism between two sets is precisely a bijection, and two sets are equinumerous precisely if they are isomorphic in this category.
Dutch[nl]
In de categorie van verzamelingen, de categorie van alle verzamelingen met functies als morfismen, is een isomorfisme tussen twee verzamelingen precies een bijectie en zijn twee verzamelingen gelijkmachtig als ze isomorf in deze categorie zijn.