Homotopical trinitarianism : a perspective on #HoTT