Metadata
Author: WikiMatrix
Data
English[en]
Expressed in category-theoretical terms, a set A is Dedekind-finite if in the category of sets, every monomorphism f : A → A is an isomorphism.
Spanish[es]
Expresado en términos de teoría de categorías, un conjunto A es finito-Dedekind si en la categoría de conjuntos, todo monomorfismo f : A → A es un isomorfismo.