Macaco, símio ou mono são designações genéricas e ambíguas para vários mamíferos da infraordem dos simiiformes, que por sua vez pertencem à subordem dos haplorrinos dos primatas. Atualmente, os biólogos tendem a distinguir os macacos em dois grupos, ou seja, os macacos propriamente ditos, que apresentam cauda e são estruturalmente menores, e os grandes macacos ou grandes símios antropoides, em cujo grupo estão compreendidas as espécies pertencentes à família dos hominídeos (chimpanzés, orangotangos, gorilas e humanos). Nessa reinterpretação do termo, os macacos, enquanto conjunto biológico, tornaram-se um agrupamento parafilético incompleto. Muitas espécies de macacos são arborícolas, embora algumas vivam principalmente no solo, como os babuínos. A maioria das espécies é predominantemente diurnal. Os macacos são geralmente considerados inteligentes, especialmente os macacos do Velho Mundo. Lêmures, lorisídeos e galagos não são macacos, mas primatas estrepsirrinos. O grupo irmão dos símios, os társios, também são haplorrinos, mas não são macacos.
Em 1812, Étienne Geoffroy agrupou os grandes símios e os macacos da família dos cercopitecídeos e estabeleceu o nome catarrinos (os ditos "macacos do Velho Mundo"). O grupo irmão atual dos catarrinos dentro dos macacos é o dos platirrinos (macacos do Novo Mundo). Cerca de nove milhões de anos antes da divergência entre os cercopitecídeos e os grandes símios, os platirrinos surgiram dentro dos "macacos" após migração para a América do Sul, provavelmente através do oceano. Os símios divergiram do grupo irmão dos társios há cerca de 70 milhões de anos. Os macacos do Novo Mundo e os macacos catarrinos surgiram dentro dos símios há cerca de 35 milhões de anos. Os macacos do Velho Mundo e os grandes símios surgiram dentro dos catarrinos há cerca de 25 milhões de anos. Símios basais extintos, como Aegyptopithecus ou Parapithecus (35–32 milhões de anos atrás), também são considerados macacos por primatólogos.
s grandes símios surgiram dentro dos macacos como grupo irmão da família dos cercopitecídeos; portanto, cladisticamente, também são macacos. No entanto, há resistência em classificar diretamente os grandes símios (e, consequentemente, os humanos) como macacos, de modo que "macacos do Velho Mundo" pode se referir tanto aos Cercopithecoidea (sem incluir os grandes símios) quanto aos catarrinos (incluindo os grandes símios). A classificação dos grandes símios como macacos já havia sido reconhecida por Georges-Louis Leclerc, Comte de Buffon no século XVIII. Carlos Lineu colocou esse grupo em 1758, junto com os társios, em um único gênero Simia (sem incluir Homo), conjunto hoje reconhecido como haplorrinos.
A palavra "macaco" possui origem duvidosa. Geralmente considera-se uma origem banta, tendo sido difundido para outras línguas através do português. Nei Lopes menciona o termo quinguana (dialeto do suaíli) makako, no sentido de "pequeno símio", também atribuído ao lingala, além do quicongo (vili ou cabinda) makaku, plural de kaku ou kaaku. José Pedro Machado, no Dicionário Etimológico da Língua Portuguesa (DELP), considera que a palavra foi introduzida no português pelos escravos capturados em Angola e levados para o Brasil. Seu primeiro registro em português ocorreu em ca. 1550-1568. "Mono" também possui origem obscura. Segundo Joan Corominas, deriva de mona, com alteração da vogal temática -a para -o, interpretada como desinência masculina, resultando nas formas masculinas mono, em português e espanhol, com significado mais restrito ao sentido de "símio" ou "macaco", em oposição às formas femininas mona, em português e espanhol (c. 1400), que possuíam sentido mais amplo, incluindo "macaco", "símio", "bebedeira" e "comportamento semelhante ao dos macacos". Seu primeiro uso conhecido ocorreu ca. 1537-1583. Por fim, "símio" derivou do latim simĭus, -ĭi, no sentido de "macaco" ou "mono". Foi registrado no século XIV como symeas e symia, no século XVI como simio e no século XVII como ximio.
Atualmente, as classificações científicas são mais frequentemente baseadas em grupos monofiléticos, isto é, grupos compostos por todos os descendentes de um ancestral comum. Os macacos do Novo Mundo (platirrinos) e os macacos do Velho Mundo (cercopitecídeos, excluindo os grandes símios) são, cada um, grupos monofiléticos, mas sua combinação não o era, pois excluía os hominoides (grandes símios e humanos). Assim, o termo "macaco" deixou de se referir a um táxon científico reconhecido. O menor táxon aceito que contém todos os macacos é a infraordem dos simiiformes, que por sua vez pertencem à subordem dos haplorrinos dos primatas. Contudo, ela também inclui os hominoides; portanto, em termos dos táxons atualmente reconhecidos, os macacos são símios não hominoides. Coloquialmente e na cultura popular, o termo é ambíguo, e às vezes "macaco" inclui hominoides não humanos. Além disso, há argumentos em favor de um uso monofilético da palavra "macaco", sob a perspectiva de que o uso deveria refletir a cladística. Ainda sob a perspectiva que distingue esses grupos, vários biólogos têm adotado nomes compostos como "grandes símios", "grandes símios antropoides", "grandes macacos", "grandes macacos antropoides" ou até mesmo "grandes primatas" para se referirem aos primatas que pertencem à família dos hominídeos dos simiiformes (chimpanzés, orangotangos, gorilas e humanos). Os demais simiiformes são, por exclusão, referidos como "macacos comuns" ou simplesmente macacos.
Como os grandes símios surgiram dentro do grupo dos macacos como grupo irmão dos macacos do Velho Mundo, características que descrevem os macacos geralmente também são compartilhadas pelos grandes símios. Williams et al. descreveram características evolutivas, inclusive em agrupamentos basais, contrastando-os com outros primatas, como os társios e os lemuriformes. Os macacos variam em tamanho desde o sagui-pigmeu (Cebuella pygmaea), que pode medir apenas 117 milímetros (4⁵/₈ polegadas) com uma cauda de 172 milímetros (6³/₄ polegadas) e pouco mais de 100 gramas (3½ onças) em peso, para o mandril macho, quase um metro (três pés e três polegadas) de comprimento e pesando até 36 quilos (79 libras). Algumas espécies são arborícolas, enquanto outras vivem na savana; suas dietas variam entre as espécies, podendo incluir frutas, folhas, sementes, nozes, flores, ovos e pequenos animais (incluindo insetos e aranhas). Algumas características são compartilhadas entre os grupos; a maioria dos macacos do Novo Mundo possui caudas longas, sendo as da família dos atelídeos preênseis, enquanto os macacos do Velho Mundo possuem caudas não preênseis ou nenhuma cauda visível. Os macacos do Velho Mundo possuem visão de cores tricromática semelhante à dos humanos, enquanto os macacos do Novo Mundo podem ser tricromáticos, dicromáticos ou — como em Aotus e Otolemur — monocromáticos. Embora tanto os macacos do Novo Mundo quanto os do Velho Mundo, assim como os grandes símios, possuam olhos voltados para frente, os rostos desses grupos diferem consideravelmente, embora cada um compartilhe certas características, como os tipos de nariz, bochechas e nádegas.
Em 1812, Étienne Geoffroy agrupou os grandes símios e os macacos da família dos cercopitecídeos e estabeleceu o nome catarrinos (os ditos "macacos do Velho Mundo"). O grupo irmão atual dos catarrinos dentro dos macacos é o dos platirrinos (macacos do Novo Mundo). Cerca de nove milhões de anos antes da divergência entre os cercopitecídeos e os grandes símios, os platirrinos surgiram dentro dos "macacos" após migração para a América do Sul, provavelmente através do oceano. Dentro dos haplorrinos, os símios são grupo irmão dos társios, com divergência ocorrida há cerca de 70 milhões de anos. Os símios divergiram do grupo irmão dos társios há cerca de 70 milhões de anos. Os macacos do Novo Mundo e os macacos catarrinos surgiram dentro dos símios há cerca de 35 milhões de anos. Os macacos do Velho Mundo e os grandes símios surgiram dentro dos catarrinos há cerca de 25 milhões de anos. Símios basais extintos, como Aegyptopithecus ou Parapithecus (35–32 milhões de anos atrás), também são considerados macacos por primatólogos. Os grandes símios surgiram dentro dos macacos como grupo irmão da família dos cercopitecídeos; portanto, cladisticamente, também são macacos. No entanto, há resistência em classificar diretamente os grandes símios (e, consequentemente, os humanos) como macacos, de modo que "macacos do Velho Mundo" pode se referir tanto aos Cercopithecoidea (sem incluir os grandes símios) quanto aos catarrinos (incluindo os grandes símios). A classificação dos grandes símios como macacos já havia sido reconhecida por Georges-Louis Leclerc, Comte de Buffon no século XVIII. Carlos Lineu colocou esse grupo em 1758, junto com os társios, em um único gênero Simia (sem incluir Homo), conjunto hoje reconhecido como haplorrinos.