So this construction gives an equivalence between the category of (small) monoids Mon and a full subcategory of the category of (small) categories Cat.
Эта конструкция задаёт эквивалентность между категорией (малых) моноидов Mon и полной подкатегорией в Cat.