A functor is fully faithful, if it is both full functor and faithful functor.
Date: nil
Author: Anton Zakrewski
Created: 2024-10-12 Sa 23:10