3.Next

In mathematics, a concrete category is a category that is equipped with a faithful functor to the category of sets (or sometimes to another category). This functor makes it possible to think of the objects of the category as sets with additional structure, and of its morphisms as structure-preserving

3.Next