Mac Lane es especialmente conocido por su trabajo en teoremas de coherencia.