Фамилия Мравец — редкий случай, когда исходное слово почти не требует перевода: в основе лежит чешское или словацкое «mravenec» — муравей. Носителю русского языка форма на -ец сразу режет слух, и это ключ к происхождению. Фамилия явно западнославянская, скорее всего чешская, и попала в русский контекст либо через миграцию, либо через польское посредничество (в польском «mrówka», но фамилия Mrowiec тоже существует).

Суффикс -ец в славянских фамилиях работает иначе, чем привычные русские -ов или -ин. В чешском языке -ec — уменьшительный или определительный суффикс, который превращает «муравья» в прозвище человека. Мравец — это не «сын муравья», а сам человек, которого прозвали Муравьём. Такие прозвища давали за трудолюбие, мелкую суетливость или, наоборот, за необычную худобу и подвижность. В чешской ономастике фамилия Mravec (без мягкого знака) встречается чаще, а Mravec с диакритикой фиксируется как вариант.

В русском языке фамилия Мравец не получила широкого распространения и осталась на уровне единичных семей. Это не крестьянская фамилия, образованная от мирского имени по русской модели, а принесённый извне готовый антропоним. Можно предположить, что предки носителя фамилии переселились на территорию Российской империи из Чехии или Словакии в XVIII–XIX веках — возможно, среди специалистов, приглашённых на заводы, или среди колонистов.

С точки зрения словообразования, Мравец стоит особняком от русских фамилий на -ов (Муравьёв). Если Муравьёв — это патроним, отвечающий на вопрос «чей сын?», то Мравец — это прямое прозвище, закрепившееся как фамилия без дополнительных суффиксов. Такая модель характерна для западных славян и балканских народов. В чешских источниках фамилия Mravec фиксируется с XIV века, что подтверждает её древность.

Итог простой: фамилия Мравец — чешского или словацкого происхождения, означает «муравей» и давалась человеку по характерным чертам поведения или внешности. В России она встречается редко и почти всегда указывает на западнославянские корни семьи.