Homotopy Type Theory Mathematical Modeling