Муравьи́ (лат. Formicidae) — семейство насекомых из надсемейства муравьиных, отряда перепончатокрылых. Являются общественными насекомыми, образующими 3 касты: самки, самцы и рабочие особи. Самки и самцы крылатые, рабочие особи — бескрылые. Усики коленчатые, у самок и рабочих особей 11—12-члениковые, у самцов 12—13-члениковые, у ряда видов 4-, 6- или 10-члениковые. Основной членик усика (скапус) обычно намного длиннее всех остальных. Задний отдел груди (эпинотум) представляет собой первый сегмент брюшка, слившийся с заднегрудью. Собственно брюшко присоединяется к эпинотуму стебельком, образованным первым или вторым сегментами. У муравьёв некоторых подсемейств имеется развитое жало. Крылья с редуцированным жилкованием.
Мирмеколо́гия — это раздел энтомологии, посвященный научному изучению муравьёв. Некоторые ранние мирмекологи считали муравьиное общество идеальной формой общества и стремились найти решение человеческих проблем, изучая их. Муравьи служат моделью для изучения вопросов эволюции социальных систем из-за их сложных и разнообразных форм эусоциальности. Их разнообразие и значимость в экосистемах также сделали их важными компонентами в изучении биоразнообразия и сохранения природы. В последнее время колонии муравьев также изучаются и моделируются на предмет их актуальности в машинном обучении, сложных интерактивных сетях, стохастичности и сетей взаимодействий, параллельных вычислений, муравьиного алгоритма и в других вычислительных областях. Как отмечала исследовательница Шарлотта Слэй, мирмекология является неотъемлемой частью большей части интеллектуализма двадцатого века.
Attini (лат.) — триба муравьёв из подсемейства Myrmicinae. Включает одних из наиболее эволюционно продвинутых представителей мира беспозвоночных животных. Они единственные организмы, которые способны к сельскохозяйственной деятельности. Для них характерен тесный симбиоз с грибами-базидиомицетами, выращиваемыми в муравейниках на субстрате из пережёванной листовой массы, например в родах муравьёв-листорезов. Английский геолог и натуралист Томас Бельт (1832—1878) первым обратил внимание на то, что муравьи сами не едят срезаемые ими листья.
Atta — род муравьёв трибы грибководов Attini из подсемейства Myrmicinae. Муравьями-листорезами также называют представителей рода Acromyrmex. Эндемики Нового Света. Около 15 видов обитают в Северной, Центральной и Южной Америке. Atta — экологически доминирующий род муравьев-листорезов, основное травоядное животное Неотропиков и сельскохозяйственный вредитель, имеющий большое экономическое значение.
Myrmica scabrinodis (лат.) — вид мелких рыжих муравьёв рода мирмики из подсемейства мирмицины. Широко распространённый палеарктический вид. Играет важную роль в сохранении популяций редких бабочек-голубянок, с которыми образует стойкую мирмекофильную связь. Включён в списки редких и охраняемых животных в нескольких европейских странах, в том числе: Германия.
Ectatomminae (лат.) — подсемейство примитивных тропических муравьёв в составе семейства Formicidae.
Atta texana — это вид муравьёв-листорезов из трибы грибководов Attini подсемейства Myrmicinae (Formicidae).
Gnamptogenys — род примитивных тропических муравьёв из подсемейства Ectatomminae.
Зеленоголо́вый мураве́й — вид мелких тропических муравьёв рода Rhytidoponera из подсемейства Ectatomminae. Несмотря на свой размер, они обладают сильным жалом, яд которого способен вызвать у человека анафилактический шок. Название насекомого связано с необычной металлически блестящей сине-зелёной окраской с переливами от зеленоватой до бронзово-фиолетовой, сходной с таковой у ос-блестянок. Могут служить орудием биологической борьбы с вредителями, убивая сельскохозяйственных вредителей. Эндемик Австралии, интродуцированный в Новую Зеландию.
Муравьи́ная ма́тка, короле́ва, или цари́ца — яйцекладущая самка муравьёв. Муравьиная семья содержит одну (моногиния) репродуктивную самку или несколько откладывающих яйца самок (полигиния), в зависимости от видовой принадлежности и размера семьи. Рабочие особи также являются самками, но обычно не могут откладывать яйца. Однако у некоторых видов встречаются семьи без маток. Семьи тех видов, у которых изначально нет королевы, называются гамэргатными, а рабочих, выполняющих роль матки и откладывающих яйца, называют гамэргаты.
Deuteragenia ossarium (лат.) — вид дорожных ос (Pompilidae), обитающий на юго-востоке Китая и описанный в 2014 году. Получил своё название в честь оссуария за способность защищать свои гнёзда при помощи тел мёртвых муравьёв.
Megalomyrmex adamsae (лат.) — вид муравьёв рода Megalomyrmex из подсемейства мирмицины. Центральная Америка: Панама.
Megalomyrmex mondaboroides (лат.) — вид муравьёв рода Megalomyrmex из подсемейства мирмицины. Центральная Америка: Коста-Рика, Панама.
Apterostigma megacephala (лат.) — вид примитивных муравьёв-грибководов (Attini) рода Apterostigma из подсемейства Myrmicinae. Эндемик Южной Америки.
Amoimyrmex striatus (лат.) — вид муравьёв-листорезов рода Amoimyrmex из трибы грибководов Attini подсемейства Myrmicinae (Formicidae). Эндемик Южной Америки. Характерен своим тесным симбиозом с грибами из семейства Шампиньоновые, выращиваемыми в земляных муравейниках на основе листовой пережёванной массы. По морфологии и хромосомному набору отличается от представителей рода Acromyrmex и обладает сходством с родом Atta.
Megalomyrmex silvestrii (лат.) — вид муравьёв рода Megalomyrmex из подсемейства мирмицины. Назван в честь итальянского энтомолога профессора Филиппо Сильвестри, собравшего типовую серию в Мексике.
Leucoagaricus gongylophorus (лат.) — вид симбионтных мирмекофильных грибов рода Белошампиньон из семейства Шампиньоновые (Agaricaceae) (Agaricomycetes). Встречаются только в муравейниках муравьёв-грибководов (Attini). Неотропика.
Atta capiguara (лат.) — вид муравьёв-листорезов из трибы грибководов Attini подсемейства Myrmicinae (Formicidae). Южная Америка.
Atta laevigata (лат.) — вид муравьёв-листорезов из трибы грибководов Attini подсемейства Myrmicinae (Formicidae). Южная Америка. Этот вид является одним из крупнейших видов листорезов, и его можно узнать по гладкой и блестящей голове самых крупных рабочих в колонии. Известен в северной части Южной Америки как hormiga culona или sikisapa в Перу, zompopo de mayo в Центральной Америке, bachaco culón в Венесуэле, akango в Парагвае и chicatana в Мексике. Под именем hormiga culona местное население использовало их крупных маток в пищу и в качестве афродизиаков в течение сотен лет по традиции, унаследованной от доколумбовых культур.
Mycetosoritis hartmanni (лат.) — вид муравьёв-грибководов трибы Attini из подсемейства Myrmicinae. Встречаются в Северной и Центральной Америке.