However, in the subcategory of fields of characteristic the prime field of characteristic forms an initial object.
Однако в полной подкатегории полей характеристики "p" имеется начальный объект — поле из "p" элементов.