Category of field extensions
The category of fields is poorly behaved. Maybe consider the category of field extensions, as it immediately is seen to have initial (and terminal?) objects.
The category of fields is poorly behaved. Maybe consider the category of field extensions, as it immediately is seen to have initial (and terminal?) objects.