No tengo conocimiento de que se haya hecho teoría de Lie con el análisis no estándar de Robinson, pero un enfoque diferente de los infinitesimales a través del análisis infinitesimal suave de Kock y Lawvere se ha utilizado ciertamente para desarrollar algo de teoría de Lie. Esto podría ser más fructífero, ya que es una axiomatización de algunos de los métodos de Grothendieck en la geometría algebraica (esquemas formales y demás), que son de uso corriente. Hay algunas cosas sobre grupos de Lie y álgebras de Lie en el libro de Kock Geometría diferencial sintética y Kock's Geometría sintética de los colectores que están disponibles de forma gratuita. Lavendhomme's Conceptos básicos de la geometría diferencial sintética también cubre algo de teoría de Lie.
El análisis infinitesimal suave es muy bonito e intuitivo, más que la geometría diferencial clásica en muchos aspectos (vectores tangentes como curvas reales y campos vectoriales como transformaciones infinitesimales). Su estilo es ciertamente categórico, como probablemente se puede adivinar, ya que fue promovido por Kock y Lawvere.
0 votos
Las preguntas que piden lista de libros deberían ser "wiki de la comunidad"