Mraveci u Hrvatskoj su Hrvati (iz Grada Velike Gorice). U prošlom stoljeću relativno najviše hrvatskih stanovnika s ovim prezimenom rođeno je u gradovima Velikoj Gorici i Zagrebu.
Rasprostranjenost
U Hrvatskoj danas živi oko 30 Mraveca u 9 domaćinstava. Sredinom prošlog stoljeća bilo ih je približno 30, pa je njihov broj ostao podjednak. Prisutni su u tri hrvatske županije, tri grada i četiri manja naselja, najviše u Ribnici (20), Osijeku (<10), Velikoj Gorici (<5), Jagodnom (<5), te u Makarskoj (<5).
Izvan Hrvatske
Prezime Mravec prisutno je u 9 država na tri kontinenta. Prezime "Mravec" nosi oko 400 osoba u Slovačkoj, približno 200 u Češkoj, te oko 90 osoba u Americi. "Mravetz" nosi manji broj osoba u Americi.