An institutional approach to university mathematics education: from dual vector spaces to questioning the world