This shows that functors can be considered as morphisms in categories of categories, for example in the category of small categories.
Нетрудно проверить, что выполняются и все остальные свойства ковариантного функтора из категории топологических пространств с отмеченной точкой в категорию групп.