see also: Homomorphism Isomorphism Type Theory Logic map Abstraction Abstract Algebra Langlands Program Group Theory