A category C is said to be concrete, if it comes as pair (C,F) where F:C→Set is a faithful functor
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 22:19