Homotopy Type Theory Hegelian