Homotopy Type Theory Mathematical Modeling In Biology