Teori-teori Yang-Mills adalah sebuah keluarga teori-teori lapangan yang didasarkan pada gagasan pengukuran invarian, yang digunakan untuk menggambarkan enfisika medan gaya fundamental. Mereka juga dapat digunakan untuk mengklasifikasikan secara topologi apa yang disebut variasi matematika, seperti Simon Donaldson menunjukkan pada tahun 1982.
