Metadata
Author: WikiMatrix
Data
English[en]
A category C is concretizable if there exists a concrete category (C,U); i.e., if there exists a faithful functor U:C → Set.
Dutch[nl]
Een categorie C is concretiseerbaar als er een concrete categorie (C,U) bestaat; dat wil zeggen, als er een trouwe functor U:C → Set bestaat.