Mathematics through diagrams: microscopes in non-standard and smooth analysis